diff options
author | Adam Weinberger <adamw@FreeBSD.org> | 2014-07-29 17:12:47 +0000 |
---|---|---|
committer | Adam Weinberger <adamw@FreeBSD.org> | 2014-07-29 17:12:47 +0000 |
commit | 08a006d08a4c35d2c3ecc9a3d10cf7fd14661a84 (patch) | |
tree | 0cfc4f0736babb895eb97a65c6defe632a0249c7 /lang/moscow_ml/files/patch-..__examples__calc__Makefile | |
parent | editors/fte: update to 20110708 (diff) |
Rename all patches that contain '::' as a path separator, and use
'__' instead.
Diffstat (limited to 'lang/moscow_ml/files/patch-..__examples__calc__Makefile')
-rw-r--r-- | lang/moscow_ml/files/patch-..__examples__calc__Makefile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/lang/moscow_ml/files/patch-..__examples__calc__Makefile b/lang/moscow_ml/files/patch-..__examples__calc__Makefile new file mode 100644 index 000000000000..1743a873889f --- /dev/null +++ b/lang/moscow_ml/files/patch-..__examples__calc__Makefile @@ -0,0 +1,13 @@ +--- ../examples/calc/Makefile.orig Wed Feb 4 13:30:56 2004 ++++ ../examples/calc/Makefile Wed Feb 4 13:31:05 2004 +@@ -2,8 +2,8 @@ + + MOSMLHOME=${HOME}/mosml + MOSMLTOOLS=camlrunm $(MOSMLHOME)/tools +-MOSMLLEX=${MOSMLHOME}/bin/mosmllex +-MOSMLYACC=${MOSMLHOME}/bin/mosmlyac ++MOSMLLEX=mosmllex ++MOSMLYACC=mosmlyac + + MOSMLC=mosmlc -c + MOSMLL=mosmlc |