search

UCSD-PL / proverbot9001

GNU General Public License v3.0
39 stars 17 forks source link

remove compcert dir #100

Closed tom-p-reichel closed 1 year ago

tom-p-reichel commented 1 year ago

./src/setup only clones compcert if the directory does not exist. However, the directory was added to the repo, making it so that compcert is never cloned during setup.

HazardousPeach commented 1 year ago

The thing that was causing this to break is fixed, the new test script uses git submodule update