diff options
Diffstat (limited to 'devel/zarith/0001-use-correct-library-suffix-in-install-target.patch')
-rw-r--r-- | devel/zarith/0001-use-correct-library-suffix-in-install-target.patch | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/devel/zarith/0001-use-correct-library-suffix-in-install-target.patch b/devel/zarith/0001-use-correct-library-suffix-in-install-target.patch new file mode 100644 index 0000000000..f0b0db91c1 --- /dev/null +++ b/devel/zarith/0001-use-correct-library-suffix-in-install-target.patch @@ -0,0 +1,25 @@ +From f85024e93a8b3292433b27a074fefafea0f979d4 Mon Sep 17 00:00:00 2001 +From: Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> +Date: Sun, 26 May 2013 13:35:01 +0200 +Subject: [PATCH] use correct library suffix in install target + +--- + project.mak | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/project.mak b/project.mak +index 6f43306..865b7ea 100644 +--- a/project.mak ++++ b/project.mak +@@ -109,7 +109,7 @@ endif + + ifeq ($(INSTMETH),findlib) + install: +- $(OCAMLFIND) install -destdir "$(INSTALLDIR)" zarith META $(TOINSTALL) dllzarith.dll ++ $(OCAMLFIND) install -destdir "$(INSTALLDIR)" zarith META $(TOINSTALL) dllzarith.$(DLLSUFFIX) + + uninstall: + $(OCAMLFIND) remove -destdir "$(INSTALLDIR)" zarith +-- +1.8.2.3 + |