Commit d6d08e61 authored by Armaël Guéneau's avatar Armaël Guéneau

Break less things and install the core CFML lib to CFML instead of CFML/Core

parent cf02de9d
......@@ -90,8 +90,8 @@ install: all
rm -rf $(COQ_CONTRIB)/CFML
# Install the CFML core coq library
mkdir -p $(COQ_CONTRIB)/CFML/Core
install $(CFML)/lib/coq/*.vo $(COQ_CONTRIB)/CFML/Core
mkdir -p $(COQ_CONTRIB)/CFML
install $(CFML)/lib/coq/*.vo $(COQ_CONTRIB)/CFML
# Install the CFML stdlib coq library
mkdir -p $(COQ_CONTRIB)/CFML/Stdlib
......
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