From f30c0242e8785e818538082c25a73efd1e89f1ab Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 12 Jan 2016 14:08:07 +0100
Subject: [PATCH] Coqidescript is no longer needed now we have a _Coqproject.
---
SConstruct | 3 ---
site_scons/site_tools/Coq.py | 12 +-----------
2 files changed, 1 insertion(+), 14 deletions(-)
diff --git a/SConstruct b/SConstruct
index 248886fb0..2662e84be 100644
--- a/SConstruct
+++ b/SConstruct
@@ -13,6 +13,3 @@ ParseDepends('deps')
# Coq files
for v in vs: env.Coq(v)
-
-# Coqidescript
-env.CoqIdeScript('coqidescript', [], COQFLAGS=Rs)
diff --git a/site_scons/site_tools/Coq.py b/site_scons/site_tools/Coq.py
index f7cc0b196..ae0240822 100644
--- a/site_scons/site_tools/Coq.py
+++ b/site_scons/site_tools/Coq.py
@@ -13,19 +13,9 @@ Coq = SCons.Builder.Builder(
emitter = coq_emitter
)
-def make_coqidescript(target, source, env):
- open('coqidescript', 'w').write('#!/bin/sh\n' +
- env['COQIDE'] + ' ' + env['COQFLAGS'] + ' $@ \n')
- os.chmod('coqidescript', 0755)
- return 0
-CoqIdeScript = SCons.Builder.Builder(action = make_coqidescript)
-
def generate(env):
env['COQC'] = 'coqc'
- env['COQIDE'] = 'coqide'
- env.Append(BUILDERS = {
- 'Coq' : Coq, 'CoqIdeScript' : CoqIdeScript
- })
+ env.Append(BUILDERS = { 'Coq' : Coq })
def exists(env):
return env.Detect('coqc')
--
GitLab