Commit b4c8d079 authored by Ralf Jung's avatar Ralf Jung

scons: also compile the barrier/ files. Finding autosubst fails though, since...

scons: also compile the barrier/ files. Finding autosubst fails though, since _CoqProject is not used.
parent 2b300ebb
......@@ -2,7 +2,7 @@
# This file is distributed under the terms of the BSD license.
import os, glob, string
modules = ["prelude", "modures", "iris"]
modules = ["prelude", "modures", "iris", "barrier"]
Rs = '-Q . ""'
env = DefaultEnvironment(ENV = os.environ,tools=['default', 'Coq'], COQFLAGS=Rs)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment