summaryrefslogtreecommitdiff
path: root/contrib/new-theory
diff options
context:
space:
mode:
Diffstat (limited to 'contrib/new-theory')
-rwxr-xr-xcontrib/new-theory4
1 files changed, 3 insertions, 1 deletions
diff --git a/contrib/new-theory b/contrib/new-theory
index c1478a980..1868fecec 100755
--- a/contrib/new-theory
+++ b/contrib/new-theory
@@ -121,10 +121,12 @@ function copyaltskel {
# copy files from the skeleton, with proper replacements
if $alternate; then
+ alternate01=1
for file in `ls contrib/alttheoryskel`; do
copyaltskel "$file"
done
else
+ alternate01=0
for file in `ls contrib/theoryskel`; do
copyskel "$file"
done
@@ -150,7 +152,7 @@ echo "Adding sources to src/Makefile.am..."
perl -e '
while(<>) { print; last if /^libcvc4_la_SOURCES = /; }
- if('$alternate') {
+ if('$alternate01') {
while(<>) { if(!/\\$/) { chomp; print "$_ \\\n\ttheory/'"$dir"'/theory_'"$dir"'.h \\\n\ttheory/'"$dir"'/theory_'"$dir"'.cpp\n"; last; } else { print; } }
} else {
while(<>) { if(!/\\$/) { chomp; print "$_ \\\n\ttheory/'"$dir"'/theory_'"$dir"'.h \\\n\ttheory/'"$dir"'/theory_'"$dir"'.cpp \\\n\ttheory/'"$dir"'/theory_'"$dir"'_rewriter.h \\\n\ttheory/'"$dir"'/theory_'"$dir"'_type_rules.h\n"; last; } else { print; } }
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback