Commit 1a90fee3 authored by MARCHE Claude's avatar MARCHE Claude

temporarily disabled isabelle compilation while there are missing realizations

parent 13a4a598
......@@ -1181,10 +1181,10 @@ drivers/isabelle-realizations.aux: Makefile
install_no_local::
cp -r lib/isabelle $(LIBDIR)/why3
cp drivers/isabelle-realizations.aux $(DATADIR)/why3/drivers/
isabelle build -bc Why3
@echo disabled temporarily: isabelle build -bc Why3
install_local::
isabelle build -bc Why3
@echo disabled temporarily: isabelle build -bc Why3
update-isabelle: $(ISABELLELIBS_INT) $(ISABELLELIBS_BOOL) $(ISABELLELIBS_REAL) $(ISABELLELIBS_NUMBER) $(ISABELLELIBS_SET) $(ISABELLELIBS_MAP) $(ISABELLELIBS_LIST) $(ISABELLELIBS_OPTION)
......
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