Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Joshua Yanovski
iris-coq
Commits
f30c0242
Commit
f30c0242
authored
Jan 12, 2016
by
Robbert Krebbers
Browse files
Coqidescript is no longer needed now we have a _Coqproject.
parent
bc776c70
Changes
2
Hide whitespace changes
Inline
Side-by-side
SConstruct
View file @
f30c0242
...
...
@@ -13,6 +13,3 @@ ParseDepends('deps')
# Coq files
for
v
in
vs
:
env
.
Coq
(
v
)
# Coqidescript
env
.
CoqIdeScript
(
'coqidescript'
,
[],
COQFLAGS
=
Rs
)
site_scons/site_tools/Coq.py
View file @
f30c0242
...
...
@@ -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'
)
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment