Commit fc36bc17 authored by Pierre Roux's avatar Pierre Roux Committed by Guillaume Melquiond

Add Eval dir to install mkdir

parent 0a6d6120
......@@ -123,7 +123,7 @@ install:
prefix=@prefix@
exec_prefix=@exec_prefix@
mkdir -p @libdir@
for d in Float Integral Interval Missing Poly Real; do mkdir -p @libdir@/$d; done
for d in Eval Float Integral Interval Missing Poly Real; do mkdir -p @libdir@/$d; done
for f in $(FILES); do cp src/$f.vo @libdir@/$f.vo; 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