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 /.gitignore | |
| 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 '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore index 2e3ec74b8..48eb6a877 100644 --- a/.gitignore +++ b/.gitignore @@ -12,5 +12,4 @@ generated/ \#*\# *.swp /debug/ -/antlr-3.4 -deps/ +/deps/ |