SConstruct 497 Bytes
Newer Older
Robbert Krebbers's avatar
Robbert Krebbers committed
1 2 3 4
# Copyright (c) 2012-2015, Robbert Krebbers.
# This file is distributed under the terms of the BSD license.
import os, glob, string

5
modules = ["prelude", "modures", "iris", "barrier"]
Robbert Krebbers's avatar
Robbert Krebbers committed
6
Rs = '-Q . ""'
Robbert Krebbers's avatar
Robbert Krebbers committed
7 8 9 10 11 12 13 14 15
env = DefaultEnvironment(ENV = os.environ,tools=['default', 'Coq'], COQFLAGS=Rs)

# Coq dependencies
vs = [x for m in modules for x in glob.glob(m + '/*.v')]
if os.system('coqdep ' + Rs + ' ' + ' '.join(map(str, vs)) + ' > deps'): Exit(2)
ParseDepends('deps')

# Coq files
for v in vs: env.Coq(v)