diff --git a/.github/workflows/actions.yml b/.github/workflows/actions.yml index 6d4df365..28eb956c 100644 --- a/.github/workflows/actions.yml +++ b/.github/workflows/actions.yml @@ -63,7 +63,7 @@ jobs: curl https://download.grammatech.com/gtirb/files/apt-repo/conf/apt.gpg.key | apt-key add - echo "deb https://download.grammatech.com/gtirb/files/apt-repo ${{ matrix.os }} unstable" >> /etc/apt/sources.list apt-get update - apt-get -y install libcapstone-dev=1:5.0.0-gtdev libgtirb libgtirb-dev libgtirb-pprinter libgtirb-pprinter-dev gtirb-pprinter + apt-get -y install libcapstone-dev=1:5.0.1-gtdev libgtirb libgtirb-dev libgtirb-pprinter libgtirb-pprinter-dev gtirb-pprinter - name: Checkout ddisasm uses: actions/checkout@v4 - name: Build @@ -97,7 +97,7 @@ jobs: curl https://download.grammatech.com/gtirb/files/apt-repo/conf/apt.gpg.key | apt-key add - echo "deb https://download.grammatech.com/gtirb/files/apt-repo ${{ matrix.os }} unstable" >> /etc/apt/sources.list apt-get update - apt-get -y install libcapstone-dev=1:5.0.0-gtdev libgtirb libgtirb-dev libgtirb-pprinter libgtirb-pprinter-dev gtirb-pprinter + apt-get -y install libcapstone-dev=1:5.0.1-gtdev libgtirb libgtirb-dev libgtirb-pprinter libgtirb-pprinter-dev gtirb-pprinter pip3 install https://download.grammatech.com/gtirb/files/python/gtirb-unstable-py3-none-any.whl pip3 install -r requirements-dev.txt # Download artifacts diff --git a/doc/source/GENERAL/2-Building-Ddisasm.md b/doc/source/GENERAL/2-Building-Ddisasm.md index bcdf1879..1ab7d5f9 100644 --- a/doc/source/GENERAL/2-Building-Ddisasm.md +++ b/doc/source/GENERAL/2-Building-Ddisasm.md @@ -10,7 +10,7 @@ To build Ddisasm from source, the following requirements should be installed: - [gtirb](https://github.com/grammatech/gtirb) version 1.12.1 or later - [gtirb-pprinter](https://github.com/grammatech/gtirb-pprinter), version 2.0.0 or later -- [Capstone](http://www.capstone-engine.org/), version 5.0.0 or later +- [Capstone](http://www.capstone-engine.org/), version 5.0.1 or later - GrammaTech builds and tests using the [GrammaTech/capstone](https://github.com/GrammaTech/capstone) fork. - [Souffle](https://souffle-lang.github.io), version 2.4 with support for 64 bit numbers (via `-DSOUFFLE_DOMAIN_64BIT=1` during configuration)