Commit 839a03e1 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Avoid uncontrolled characters (e.g., 'C:/') as arguments to $(addprefix).

parent e6475e6b
......@@ -117,7 +117,8 @@ deps.map: deps.dot
install:
prefix=@prefix@
exec_prefix=@exec_prefix@
mkdir -p @libdir@ $(addprefix @libdir@/,Float Integral Interval Poly Real)
mkdir -p @libdir@
for d in 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