1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
Author: Ralf Treinen <treinen@debian.org>
Description: don't have $(DESTDIR) filled in by ./configure
Index: ocplib-simplex/Makefile.in
===================================================================
--- ocplib-simplex.orig/Makefile.in 2017-11-15 07:31:55.137294775 +0100
+++ ocplib-simplex/Makefile.in 2017-11-15 07:32:59.217640006 +0100
@@ -13,11 +13,11 @@
# (enclosed in the file LGPL).
# where to install the binaries
-DESTDIR=@prefix@
+DESTDIR=
# prefix=@prefix@
# exec_prefix=@exec_prefix@
# BINDIR=$(DESTDIR)@bindir@
-LIBDIR=$(DESTDIR)/lib/
+LIBDIR=$(DESTDIR)/@OCAMLLIB@
# DATADIR=$(DESTDIR)@datadir@/ocplib-simplex
# where to install the man page
|
