Update to ocaml-camlp5 to 7.05
diff from daniel@, who needs this for an update of lang/compcert
This commit is contained in:
parent
f1d4889528
commit
ea115bfcab
@ -1,6 +1,6 @@
|
||||
# $OpenBSD: Makefile,v 1.1.1.1 2018/01/31 00:21:41 bcallah Exp $
|
||||
# $OpenBSD: Makefile,v 1.2 2018/05/06 15:45:06 bcallah Exp $
|
||||
|
||||
V = 7.03
|
||||
V = 7.05
|
||||
COMMENT = OCaml Preprocessor and Pretty-Printer
|
||||
DISTFILES = camlp5-rel${V}{rel${V:S/.//}}${EXTRACT_SUFX}
|
||||
PKGNAME = ocaml-camlp5-${V}
|
||||
|
@ -1,2 +1,2 @@
|
||||
SHA256 (camlp5-rel7.03.tar.gz) = wT0KlXqOcGJ+GQDKJSQ7Xo2gQrvanqqefQaVXA498ho=
|
||||
SIZE (camlp5-rel7.03.tar.gz) = 758136
|
||||
SHA256 (camlp5-rel7.05.tar.gz) = zMev0pNsdcvuSq1YzS74578N3tVWuR125ORionVQ/xI=
|
||||
SIZE (camlp5-rel7.05.tar.gz) = 759965
|
||||
|
13
lang/ocaml-camlp5/patches/patch-etc_Makefile
Normal file
13
lang/ocaml-camlp5/patches/patch-etc_Makefile
Normal file
@ -0,0 +1,13 @@
|
||||
$OpenBSD: patch-etc_Makefile,v 1.1 2018/05/06 15:45:06 bcallah Exp $
|
||||
|
||||
Index: etc/Makefile
|
||||
--- etc/Makefile.orig
|
||||
+++ etc/Makefile
|
||||
@@ -106,6 +106,7 @@ install:
|
||||
$(RM) -f "$(DESTDIR)$(LIBDIR)/$(CAMLP5N)/pa_lex.cmo"
|
||||
cp $(OBJS) "$(DESTDIR)$(LIBDIR)/$(CAMLP5N)/."
|
||||
cp lib.sml "$(DESTDIR)$(LIBDIR)/$(CAMLP5N)/."
|
||||
+ cp META "$(DESTDIR)$(LIBDIR)/$(CAMLP5N)/."
|
||||
cp $(CAMLP5N)o$(EXE) $(CAMLP5N)sch$(EXE) "$(DESTDIR)$(BINDIR)/."
|
||||
cp mk$(CAMLP5N).sh "$(DESTDIR)$(BINDIR)/mk$(CAMLP5N)"
|
||||
chmod a+x "$(DESTDIR)$(BINDIR)/mk$(CAMLP5N)"
|
@ -1,4 +1,4 @@
|
||||
@comment $OpenBSD: PLIST,v 1.1.1.1 2018/01/31 00:21:41 bcallah Exp $
|
||||
@comment $OpenBSD: PLIST,v 1.2 2018/05/06 15:45:06 bcallah Exp $
|
||||
%%native%%
|
||||
bin/camlp5
|
||||
bin/camlp5o
|
||||
@ -7,6 +7,7 @@ bin/camlp5sch
|
||||
bin/mkcamlp5
|
||||
bin/ocpp5
|
||||
lib/ocaml/camlp5/
|
||||
lib/ocaml/camlp5/META
|
||||
lib/ocaml/camlp5/camlp5.cma
|
||||
lib/ocaml/camlp5/camlp5_top.cma
|
||||
lib/ocaml/camlp5/camlp5o.cma
|
||||
|
Loading…
Reference in New Issue
Block a user