Commit 2c547961 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Simplify SConstruct file.

parent 455ff410
...@@ -3,7 +3,7 @@ ...@@ -3,7 +3,7 @@
import os, glob, string import os, glob, string
modules = ["prelude", "iris"] modules = ["prelude", "iris"]
Rs = ' '.join(['-Q ' + x + ' ' + x for x in modules]) Rs = '-Q . ""'
env = DefaultEnvironment(ENV = os.environ,tools=['default', 'Coq'], COQFLAGS=Rs) env = DefaultEnvironment(ENV = os.environ,tools=['default', 'Coq'], COQFLAGS=Rs)
# Coq dependencies # Coq dependencies
......
Supports Markdown
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