diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-03-27 10:41:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-27 09:41:49 +0000 |
| commit | 4b7e392eca42f89d103c5eb74157a44d4b40fe4b (patch) | |
| tree | 649e24b292ac6b6dba11fe4a0e5df69ab4406019 /.github | |
| parent | 1ac0ebabb80f68c6c666d1eae1588c0950a6f2f7 (diff) | |
Refactor ANTLR3 dependency (#6202)
This PR refactors our first, and arguably most fragile, dependency.
Right now all dependencies need to be manually installed (by calling the appropriate contrib/get-X script). For optional dependencies, we additionally need to enable them when calling the configure script (or via ccmake).
This PR is the first step in refactoring all dependencies to be automatically build (if required) as an external project.
Note that this not only eliminates the need to call contrib scripts, but also simplifies cross compilation: as all dependencies are now built within the build folders, every build folder has its own copy which may use different toolchains.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ad6004251..d18eefc35 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -118,7 +118,6 @@ jobs: - name: Setup Dependencies if: steps.restore-deps.outputs.cache-hit != 'true' run: | - ./contrib/get-antlr-3.4 ./contrib/get-poly ./contrib/get-symfpu ./contrib/get-cadical @@ -128,7 +127,6 @@ jobs: - name: List dependencies run: | find deps/install -type f - cat deps/install/bin/antlr3 # GitHub actions currently does not support modifying an already existing # cache. Hence, we create a new cache for each commit with key |