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 | e52d4cc9b8e7565275195511db739d7485df1f60 (patch) | |
tree | 383f258273322a522b380068d4aecb3827dddba6 /lang/smlnj11072 | |
parent | e7ff4938ca24c689485d2f725027b5e6d59b62d3 (diff) | |
download | pkgsrc-e52d4cc9b8e7565275195511db739d7485df1f60.tar.gz |
Remove leftover file. This is not used, which is good because it's
also out of date.
Diffstat (limited to 'lang/smlnj11072')
-rw-r--r-- | lang/smlnj11072/files/targets | 15 |
1 files changed, 0 insertions, 15 deletions
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 |