summaryrefslogtreecommitdiff
path: root/lang/coq/patches/patch-Makefile.common
blob: 2118b715faa00f86a34a4c7d0ee8bc9471a981d9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
$NetBSD: patch-Makefile.common,v 1.7 2021/02/09 22:37:43 dholland Exp $

Use BSD_INSTALL_*

--- Makefile.common.orig	2020-12-11 08:46:08.000000000 +0000
+++ Makefile.common
@@ -90,8 +90,8 @@ DYNOBJ:=.cmo
 DYNLIB:=.cma
 endif
 
-INSTALLBIN:=install
-INSTALLLIB:=install -m 644
+INSTALLBIN:=${BSD_INSTALL_SCRIPT}
+INSTALLLIB:=${BSD_INSTALL_LIB}
 INSTALLSH:=./install.sh
 MKDIR:=install -d