Commit 5db3260b authored by POTTIER Francois's avatar POTTIER Francois

Remove SERIOUS := 1, as it is now the default anyway.

parent 018f5839
...@@ -8,17 +8,10 @@ ...@@ -8,17 +8,10 @@
# To request installation via a symbolic link, as opposed to # To request installation via a symbolic link, as opposed to
# installation via a copy, define ARTHUR. # installation via a copy, define ARTHUR.
# To request creation of .vio files, as opposed to creation of .vo
# files, define SERIOUS=0.
# This assumes that $(CFML) points to the CFML root directory. # This assumes that $(CFML) points to the CFML root directory.
SERIOUS := 1
-include $(CFML)/settings.sh -include $(CFML)/settings.sh
export SERIOUS
############################################################################ ############################################################################
# We assume that TLC has been installed. # We assume that TLC has been installed.
# (Note: this definition can be overriden from outside.) # (Note: this definition can be overriden from outside.)
......
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