diff options
author | dholland <dholland@pkgsrc.org> | 2016-07-03 19:23:23 +0000 |
---|---|---|
committer | dholland <dholland@pkgsrc.org> | 2016-07-03 19:23:23 +0000 |
commit | 53e1d3a1f8bc36edd4fdb26f252d39e3640826b8 (patch) | |
tree | 7d166c418e9ab5fe8abb52a2c5cf4c54c2c707de /lang | |
parent | a5b78fd41588f0ca65b6e2bda9c18cb8013383ba (diff) | |
download | pkgsrc-53e1d3a1f8bc36edd4fdb26f252d39e3640826b8.tar.gz |
Remove leftover file. This is not used, which is good because it's
also out of date.
Diffstat (limited to 'lang')
-rw-r--r-- | lang/smlnj/files/targets | 15 | ||||
-rw-r--r-- | lang/smlnj11072/files/targets | 15 |
2 files changed, 0 insertions, 30 deletions
diff --git a/lang/smlnj/files/targets b/lang/smlnj/files/targets deleted file mode 100644 index 2837dc51d82..00000000000 --- a/lang/smlnj/files/targets +++ /dev/null @@ -1,15 +0,0 @@ -request ml-yacc -request ml-lex -request ml-burg -request smlnj-lib -request pgraph-util -request cml -request cml-lib -request eXene -request ckit -#if !defined(__powerpc__) -request ml-nlffi-lib -request ml-nlffigen -#endif -request mlrisc-tools -request nowhere diff --git a/lang/smlnj11072/files/targets b/lang/smlnj11072/files/targets deleted file mode 100644 index 2837dc51d82..00000000000 --- a/lang/smlnj11072/files/targets +++ /dev/null @@ -1,15 +0,0 @@ -request ml-yacc -request ml-lex -request ml-burg -request smlnj-lib -request pgraph-util -request cml -request cml-lib -request eXene -request ckit -#if !defined(__powerpc__) -request ml-nlffi-lib -request ml-nlffigen -#endif -request mlrisc-tools -request nowhere |