[MLton-commit] r7067

[Matthew Fluet]

Remove unused files.
----------------------------------------------------------------------

U   mlton/trunk/benchmark/Makefile
D   mlton/trunk/benchmark/benchmark.cm
D   mlton/trunk/benchmark/sources.cm

----------------------------------------------------------------------

Modified: mlton/trunk/benchmark/Makefile
===================================================================
--- mlton/trunk/benchmark/Makefile	2009-04-08 12:33:01 UTC (rev 7066)
+++ mlton/trunk/benchmark/Makefile	2009-04-08 12:33:03 UTC (rev 7067)
@@ -1,4 +1,5 @@
-## Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh
+## Copyright (C) 2009 Matthew Fluet.
+ # Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh
  #    Jagannathan, and Stephen Weeks.
  # Copyright (C) 1997-2000 NEC Research Institute.
  #
@@ -24,9 +25,6 @@
 	@echo 'Compiling $(NAME)'
 	"$(MLTON)" $(FLAGS) $(NAME).mlb
 
-$(NAME).sml: $(NAME).cm $(shell "$(MLTON)" -stop f $(NAME).cm)
-	mlton -stop sml $(NAME).cm
-
 .PHONY: clean
 clean:
 	../bin/clean

Deleted: mlton/trunk/benchmark/benchmark.cm
===================================================================
--- mlton/trunk/benchmark/benchmark.cm	2009-04-08 12:33:01 UTC (rev 7066)
+++ mlton/trunk/benchmark/benchmark.cm	2009-04-08 12:33:03 UTC (rev 7067)
@@ -1,12 +0,0 @@
-(* Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
- *    Jagannathan, and Stephen Weeks.
- * Copyright (C) 1997-2000 NEC Research Institute.
- *
- * MLton is released under a BSD-style license.
- * See the file MLton-LICENSE for details.
- *)
-
-Group is
-
-sources.cm
-call-main.sml

Deleted: mlton/trunk/benchmark/sources.cm
===================================================================
--- mlton/trunk/benchmark/sources.cm	2009-04-08 12:33:01 UTC (rev 7066)
+++ mlton/trunk/benchmark/sources.cm	2009-04-08 12:33:03 UTC (rev 7067)
@@ -1,12 +0,0 @@
-(* Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
- *    Jagannathan, and Stephen Weeks.
- * Copyright (C) 1997-2000 NEC Research Institute.
- *
- * MLton is released under a BSD-style license.
- * See the file MLton-LICENSE for details.
- *)
-
-Group is
-
-../lib/mlton/sources.cm
-main.sml