Changeset 7830 for script

Timestamp:

11/04/05 00:47:30 (3 years ago)

Author:

autrijus

Message:

* Give failed pugscc (due to lack of 'make install' or

'make register') a better error msg.

Files:

• script/pugscc (modified) (2 diffs)

script/pugscc

@@ -45 +45 @@
 
 my $ghc_exe = $ENV{GHC} || 'ghc';
+my $ghc_pkg = $ENV{GHC_PKG} || 'ghc_pkg';
 my $ghc_version = ghc_version();
 my $base = cwd();
@@ -95 +96 @@
 
     my $err = $!;
-    (($rv == 0) and -e $out) or die $err;
+    unless (($rv == 0) and -e $out) {
+        if (`$ghc_pkg describe Pugs` !~ /package-url/) {
+            warn << '.';
+
+*** Cannot find the 'Pugs' package -- did you run 'make install'
+    or 'make register' for Pugs?
+
+.
+        };
+        die "*** Error making Pugs executable '$out'.\n";
+    };
 
     unlink "$base/MainCC.hs";