Mise à jour terminée. Pour connaître les apports de la version 13.8.4 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :

Commit 30ca616e authored by Erik Martin-Dorel's avatar Erik Martin-Dorel

Improve support for Coq 8.5 compilation.

* Remakefile.in: install or clean the files generated in the
  .coq-native directories as well (if they exist).
parent 35860585
......@@ -70,6 +70,9 @@ configure config.status: configure.in
rm -f $(OBJS) $(EOBJS) $(MOBJS) src/*.glob examples/*.glob
for d in src src/Core src/Calc src/Prop src/Appli examples; do \
rm -f $d/.coq-native/*.o $d/.coq-native/*.cm*; done
find . -type d -name ".coq-native" -empty -prune -exec rmdir "{}" \;
html/index.html: $(OBJS)
rm -rf html
......@@ -86,6 +89,7 @@ install:
mkdir -p @libdir@
for d in Core Calc Prop Appli; do mkdir -p @libdir@/$d; done
for f in $(OBJS); do cp $f @libdir@/${f#src/}; done
( cd src && find . -type d -name ".coq-native" -exec cp -RT "{}" "@libdir@/{}" \; )
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