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