Commit f3067abc authored by Martin Clochard's avatar Martin Clochard
parents 504531e0 20695e08
......@@ -120,9 +120,9 @@ CLEANLIBS =
GENERATED =
install_local::
ln -s ../drivers share/drivers
ln -s ../modules share/modules
ln -s ../theories share/theories
ln -s -n -f ../drivers share/drivers
ln -s -n -f ../modules share/modules
ln -s -n -f ../theories share/theories
##############
# Why3 library
......
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