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
