Closed emersion closed 6 years ago
This paves the way to packaging. The variable DESTDIR is the "standard" installation directory variable for Makefiles.
DESTDIR
This PR doesn't attempt to change some questionable behaviour of the installation such as:
/usr/share/lem
cp
install
We have a working opam package and we will make it public soon (see the opam-packaging branch).
This paves the way to packaging. The variable
DESTDIR
is the "standard" installation directory variable for Makefiles.This PR doesn't attempt to change some questionable behaviour of the installation such as:
/usr/share/lem
(why???)cp
instead ofinstall