Resolving several issues while installing LLTFI #72

Merged

abrahamchan merged 6 commits intoDependableSystemsLab:masterfrom ranbir-sharma:update-dockerfile

Jun 9, 2024

+21-8

Commits on May 29, 2024

Updated the dockerfile to store env variables while building and removal of extra LLTFI folder
ranbir-sharma
committed

Commits on May 30, 2024

Changes added to have the llvm build in release mode
ranbir-sharma
committed

Commits on Jun 1, 2024

Changed the path to build json where sudo isnt needed
ranbir-sharma
committed

Commits on Jun 7, 2024

Commits on Jun 8, 2024

Updated env vars for json-c lib
ranbir-sharma
committed