changeset 137:daf1ffaf7c2c

Fix selection of default backend in compiler. Small tweak to compile script
author Mike Pavone <pavone@retrodev.com>
date Wed, 17 Nov 2010 02:07:10 +0000
parents fc3815b7462f
children 1411de6050e1
files compile compile_old_c.rhope
diffstat 2 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/compile	Sun Nov 14 23:07:55 2010 -0500
+++ b/compile	Wed Nov 17 02:07:10 2010 +0000
@@ -6,7 +6,7 @@
 
 ./rhope2c $1
 
-if test ! -f "$1.c"; then
+if test ! -s "$1.c"; then
 	echo "Compilation to C failed"
 	exit 1
 fi
--- a/compile_old_c.rhope	Sun Nov 14 23:07:55 2010 -0500
+++ b/compile_old_c.rhope	Wed Nov 17 02:07:10 2010 +0000
@@ -83,7 +83,7 @@
 				Print[[["Unknown backend '"]Append[sel]]Append["' selected. Defaulting to C backend."]]
 				makeback <- C Program[?]
 			}
-		}{ makeback <- C Program[?] }
+		}{ makeback <- Val[C Program[?]] }
 		backend <- Call[makeback]
 		
 		file <- [File[~]]Open["r"]