diff options
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 |