# HG changeset patch
# User wenzelm
# Date 1185221881 -7200
# Node ID 622641164de8b9f6639f576b88e021af74b07b72
# Parent  2ea068548a835eb851fff2c585398f31f080732d
RAW: updated deps;

diff -r 2ea068548a83 -r 622641164de8 src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Mon Jul 23 20:47:56 2007 +0200
+++ b/src/Pure/IsaMakefile	Mon Jul 23 22:18:01 2007 +0200
@@ -76,8 +76,9 @@
 
 RAW: $(OUT)/RAW
 
-$(OUT)/RAW: ML-Systems/alice.ML ML-Systems/polyml-4.1.3.ML 			\
-  ML-Systems/polyml-4.1.4.ML ML-Systems/polyml-5.0.ML				\
+$(OUT)/RAW: ML-Systems/alice.ML ML-Systems/no_multithreading.ML			\
+  ML-Systems/polyml-4.1.3.ML ML-Systems/polyml-4.1.4.ML 			\
+  ML-Systems/polyml-5.0.ML ML-Systems/polyml-5.1.ML				\
   ML-Systems/polyml-interrupt-timeout.ML ML-Systems/polyml-old-basis.ML		\
   ML-Systems/polyml-posix.ML ML-Systems/polyml.ML ML-Systems/poplogml.ML	\
   ML-Systems/smlnj.ML