diff options
Diffstat (limited to 'lang/sml-nj-devel/files/plist-cml')
| -rw-r--r-- | lang/sml-nj-devel/files/plist-cml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/lang/sml-nj-devel/files/plist-cml b/lang/sml-nj-devel/files/plist-cml new file mode 100644 index 000000000000..77c1791b46b4 --- /dev/null +++ b/lang/sml-nj-devel/files/plist-cml @@ -0,0 +1,12 @@ +smlnj/lib/cml/CM/x86-unix/basis.cm +smlnj/lib/cml/CM/x86-unix/cml-internal.cm +smlnj/lib/cml/CM/x86-unix/cml.cm +smlnj/lib/cml/CM/x86-unix/core-cml.cm +smlnj/lib/cml-lib/CM/x86-unix/smlnj-lib.cm +smlnj/lib/cml-lib/CM/x86-unix/trace-cml.cm +@dirrm smlnj/lib/cml/CM/x86-unix +@dirrm smlnj/lib/cml/CM +@dirrm smlnj/lib/cml +@dirrm smlnj/lib/cml-lib/CM/x86-unix +@dirrm smlnj/lib/cml-lib/CM +@dirrm smlnj/lib/cml-lib |