Commit 13fdd51e authored by Ralf Jung's avatar Ralf Jung

delete scons

parent 1e241e13
*.vo
*.v.d
*.glob
.sconsign.dblite
deps
old/*
coqidescript
\#*\#
*.pyc
*~
*.cmi
*.cmx
*.cmo
*.o
utils/coq2html
utils/coq2html.ml
doc/ch2o.*.html
*.cache
*.broken
broken/*
*.patch
parser/Extracted.*
parser/Lexer.ml
parser/Parser.ml
parser/Parser.mli
parser/Include.*
_build/
ch2o
*.native
*.byte
a.out
*.aux
\#*\#
*~
.coq-native/
# Copyright (c) 2012-2015, Robbert Krebbers.
# This file is distributed under the terms of the BSD license.
import os, glob, string
modules = ["prelude", "modures", "iris", "barrier"]
Rs = '-Q . ""'
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)
# Copyright (c) 2012-2015, Robbert Krebbers.
# This file is distributed under the terms of the BSD license.
import SCons.Defaults, SCons.Tool, SCons.Util, os
def coq_emitter(target, source, env):
base, _ = os.path.splitext(str(target[0]))
target.append(base + ".glob")
return target, source
Coq = SCons.Builder.Builder(
action = '$COQC $COQFLAGS -q $SOURCE',
suffix = '.vo',
src_suffix = '.v',
emitter = coq_emitter
)
def generate(env):
env['COQC'] = 'coqc'
env.Append(BUILDERS = { 'Coq' : Coq })
def exists(env):
return env.Detect('coqc')
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