Make SConstruct more easily localizable.

Ignore-this: 974815e558b5d4afe9eab6a058bea97 darcs-hash:20090423213939-bab43-e1177eff5ec7637d5bcd09c5eeb6004080a45984.gz
Eelis · Apr 23, 2009 · 6302511 · 6302511
1 parent fe32068
commit 6302511
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/SConstruct b/SConstruct
@@ -1,9 +1,9 @@
 import os, glob
-coqc = '/home/gi/cek/trunk/bin/coqc -R /home/gi/cek/CoRN CoRN '
+corn_dir = '/data/home/eelis/soft/CoRN'
+coqc = 'coqc -R ' + corn_dir + ' CoRN'
 env = DefaultEnvironment(ENV = os.environ)
-env.Append(BUILDERS = {'Coq' : Builder(action = coqc + '$SOURCE', suffix = '.vo', src_suffix = '.v')})
-env.Append(SCANNERS = Scanner(skeys = ['.v'], function = (lambda node, env, path: os.popen("coqdep -R /home/gi/cek/CoRN -w -I . " + str(node)).read().strip().split(' ')[2:])))
+env.Append(BUILDERS = {'Coq' : Builder(action = coqc + ' $SOURCE', suffix = '.vo', src_suffix = '.v')})
+env.Append(SCANNERS = Scanner(skeys = ['.v'], function = (lambda node, env, path: os.popen("coqdep -R " + corn_dir + " CoRN -w -I . " + str(node)).read().strip().split(' ')[2:])))
 
 fs = glob.glob('*.v')
 for f in fs: env.Coq(f)
-