[BACK]Return to patch-Makefile.common CVS log [TXT][DIR] Up to [cvs.NetBSD.org] / pkgsrc / lang / coq / patches

File: [cvs.NetBSD.org] / pkgsrc / lang / coq / patches / patch-Makefile.common (download)

Revision 1.4, Fri Nov 3 11:20:28 2017 UTC (5 months, 2 weeks ago) by jaapb
Branch: MAIN
CVS Tags: pkgsrc-2018Q1-base, pkgsrc-2018Q1, pkgsrc-2017Q4-base, pkgsrc-2017Q4, HEAD
Changes since 1.3: +6 -4 lines

Updated lang/coq to version 8.7.0.

Includes many improvements and bugfixes (none that seem to be breaking
backwards compatibility though), see the CHANGELOG.
For packaging:
- camlp4 support removed, package now uses camlp5 exclusively
- fix for PR pkg/52651

$NetBSD: patch-Makefile.common,v 1.4 2017/11/03 11:20:28 jaapb Exp $

Use BSD_INSTALL_*
--- Makefile.common.orig	2017-10-16 08:53:18.000000000 +0000
+++ Makefile.common
@@ -69,8 +69,8 @@ DYNOBJ:=.cmo
 DYNLIB:=.cma
 endif
 
-INSTALLBIN:=install
-INSTALLLIB:=install -m 644
+INSTALLBIN:=${BSD_INSTALL_PROGRAM}
+INSTALLLIB:=${BSD_INSTALL_LIB}
 INSTALLSH:=./install.sh
 MKDIR:=install -d