make import in fstar/examples/low-level/spartan should import other Spartan-generated .S files

project-everest / everest-ci

CI scripts for project everest

3 stars 8 forks source link

make import in fstar/examples/low-level/spartan should import other Spartan-generated .S files #28

Closed msprotz closed 7 years ago

msprotz commented 7 years ago

Right now we only import into the tree the Windows assembly files, but we should do the same for Linux so that the ubuntu from scratch scenario catches failures with Spartan-generated Linux assembly too.

msprotz commented 7 years ago

Fixed by https://github.com/FStarLang/FStar/commit/6f768d114a1a2c24dae7447bdbc2fd3fe3417697