Commit 39843a8a authored by Raphael Cauderlier's avatar Raphael Cauderlier

Activate checking of examples

parent 8944f834
......@@ -3,7 +3,7 @@
INSTALL_BIN_DIR=/usr/local/bin
INSTALL_LIB_DIR=/usr/local/lib/dedukti/dktactics
SUBDIRS= fol meta # example
SUBDIRS= fol meta example
# To activate confluence checking, set this to "--with-confluence-checking"
CONFIGURE_FLAGS=
......
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