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

modules = ["prelude", "iris"]
6
Rs = ' '.join(['-Q ' + x + ' ' + x for x in modules])
Robbert Krebbers's avatar
Robbert Krebbers committed
7
8
9
10
11
12
13
14
15
16
17
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)

# Coqidescript
18
env.CoqIdeScript('coqidescript', [], COQFLAGS=Rs)