Clash of env vars in the docker with the make environment

GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.

Other

5 stars 2 forks source link

Clash of env vars in the docker with the make environment #1255

Open rtadros125 opened 3 years ago

rtadros125 commented 3 years ago

This env var in the GFE dockerfile clashes with the custom sysroot setting that is used here because of the optional assignment in the build environment. The easiest solution is to re-build ALL docker containers that build on top of GFE and use a different env name.