c0728d2077
- patches now upstream, so remove local versions - add missing GMAKE dependency (I am fixing this requirement in OASIS directly too)
31 lines
1.4 KiB
Plaintext
31 lines
1.4 KiB
Plaintext
$OpenBSD: patch-setup_ml,v 1.2 2012/09/05 21:39:09 avsm Exp $
|
|
--- setup.ml.orig Wed Sep 5 21:56:57 2012
|
|
+++ setup.ml Wed Sep 5 21:57:13 2012
|
|
@@ -5601,7 +5601,7 @@ let setup_t =
|
|
CustomPlugin.cmd_main =
|
|
[
|
|
(OASISExpr.EBool true,
|
|
- ("make", ["-C"; "manual"; "manual.pdf"]))
|
|
+ ("gmake", ["-C"; "manual"; "manual.pdf"]))
|
|
];
|
|
cmd_clean = [(OASISExpr.EBool true, None)];
|
|
cmd_distclean = [(OASISExpr.EBool true, None)];
|
|
@@ -5654,7 +5654,7 @@ let setup_t =
|
|
CustomPlugin.cmd_main =
|
|
[
|
|
(OASISExpr.EBool true,
|
|
- ("make", ["-C"; "manual"; "manual.pdf"]))
|
|
+ ("gmake", ["-C"; "manual"; "manual.pdf"]))
|
|
];
|
|
cmd_clean = [(OASISExpr.EBool true, None)];
|
|
cmd_distclean = [(OASISExpr.EBool true, None)];
|
|
@@ -5705,7 +5705,7 @@ let setup_t =
|
|
CustomPlugin.cmd_main =
|
|
[
|
|
(OASISExpr.EBool true,
|
|
- ("make", ["-C"; "manual"; "manual.pdf"]))
|
|
+ ("gmake", ["-C"; "manual"; "manual.pdf"]))
|
|
];
|
|
cmd_clean = [(OASISExpr.EBool true, None)];
|
|
cmd_distclean = [(OASISExpr.EBool true, None)];
|