diff options
Diffstat (limited to 'lang/metaocaml/files/patch-Makefile')
-rw-r--r-- | lang/metaocaml/files/patch-Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/lang/metaocaml/files/patch-Makefile b/lang/metaocaml/files/patch-Makefile new file mode 100644 index 000000000000..298327adc90c --- /dev/null +++ b/lang/metaocaml/files/patch-Makefile @@ -0,0 +1,12 @@ +--- ./Makefile.orig Thu Jun 9 16:59:57 2005 ++++ ./Makefile Thu Jun 9 17:00:05 2005 +@@ -133,8 +133,7 @@ + asmcomp/schedgen.cmx asmcomp/scheduling.cmx \ + asmcomp/emitaux.cmx asmcomp/emit.cmx asmcomp/asmgen.cmx \ + asmcomp/asmlink.cmx asmcomp/asmlibrarian.cmx asmcomp/asmpackager.cmx \ +-driver/pparse.cmx driver/opterrors.cmx driver/optcompile.cmx \ +-stdlib/hookdynlink.cmx ++driver/pparse.cmx driver/opterrors.cmx driver/optcompile.cmx + + TOPLEVEL=driver/pparse.cmo driver/errors.cmo driver/compile.cmo \ + toplevel/genprintval.cmo toplevel/toploop.cmo \ |