diff options
Diffstat (limited to 'lang/sml-nj-devel/files/patch-config::targets')
| -rw-r--r-- | lang/sml-nj-devel/files/patch-config::targets | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/sml-nj-devel/files/patch-config::targets b/lang/sml-nj-devel/files/patch-config::targets new file mode 100644 index 000000000000..d0e010f35d77 --- /dev/null +++ b/lang/sml-nj-devel/files/patch-config::targets @@ -0,0 +1,11 @@ +--- config/targets.orig Thu Aug 5 00:05:00 2004 ++++ config/targets Tue Aug 10 11:00:56 2004 +@@ -68,7 +68,7 @@ + # pre-compile (certain) parts of MLRISC that are not already part of the SML/NJ + # compiler itself + # +-request mlrisc ++#request mlrisc + + # pre-compile and install the C-Kit, which is a library for parsing and + # type-checking C programs |