Commit 3adcf671 authored by POTTIER Francois's avatar POTTIER Francois

Do not build the demo [calc-dune] by default.

parent 41892397
......@@ -3,7 +3,8 @@
# calc-inspection
# The following demos require menhirSdk:
# generate-printers
# The following demos require dune (a.k.a. jbuilder):
# The following demos require dune (a.k.a. jbuilder)
# and assume that Menhir is already installed:
# calc-dune
DEMOS := \
......@@ -13,7 +14,6 @@ DEMOS := \
calc-incremental \
calc-inspection \
generate-printers \
calc-dune \
.PHONY: all clean
......
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