Imported Debian patch 110.74-1

[hcoop/zz_old/debian/smlnj.git] / debian / smlnj.install

diff --git a/debian/smlnj.install b/debian/smlnj.install
new file mode 100644 (file)
index 0000000..b19b8f9
--- /dev/null
+++ b/debian/smlnj.install
@@ -0,0 +1,5 @@
+bin/.heap/sml.*linux usr/lib/smlnj/bin/.heap
+bin/sml bin/ml-build bin/ml-makedepend usr/lib/smlnj/bin
+lib/SMLNJ-MLRISC lib/SMLNJ-BASIS lib/burg-ext.cm lib/dir-tool.cm lib/grm-ext.cm lib/lex-ext.cm lib/make-tool.cm lib/mlburg-tool.cm lib/mllex-tool.cm lib/mlyacc-tool.cm lib/noweb-tool.cm lib/nw-ext.cm lib/pgraph.cm lib/pickle-lib.cm lib/shell-tool.cm lib/smlnj lib/smlnj-tdp usr/lib/smlnj/lib
+wrapper/ml-build wrapper/ml-makedepend wrapper/sml usr/bin
+MLRISC/demo/* usr/share/doc/smlnj/MLRISC-demo/