blob: 2b2bc1d2658dd40c46ec88f7a41669c57dcf44e1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
$NetBSD: patch-Makefile.install,v 1.1 2022/06/21 02:21:22 dholland Exp $
Use BSD_INSTALL_*
--- Makefile.install~ 2022-05-31 08:36:38.000000000 +0000
+++ Makefile.install
@@ -31,7 +31,7 @@ install-byte:
.PHONY: install install-byte install-coqide install-doc-all install-doc-no
-INSTALLLIB:=install -m 644
+INSTALLLIB:=${BSD_INSTALL_LIB}
.PHONY: install-coq install-dune install-library
|
