diff druntime/src/build-dmd.sh @ 1458:e0b2d67cfe7c

Added druntime (this should be removed once it works).
author Robert Clipsham <robert@octarineparrot.com>
date Tue, 02 Jun 2009 17:43:06 +0100
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/druntime/src/build-dmd.sh	Tue Jun 02 17:43:06 2009 +0100
@@ -0,0 +1,19 @@
+#!/usr/bin/env bash
+
+OLDHOME=$HOME
+export HOME=`pwd`
+
+goerror(){
+    export HOME=$OLDHOME
+    echo "="
+    echo "= *** Error ***"
+    echo "="
+    exit 1
+}
+
+make clean -fdmd-posix.mak          || goerror
+make -fdmd-posix.mak                || goerror
+chmod 644 ../import/core/*.di       || goerror
+chmod 644 ../import/core/sync/*.di  || goerror
+
+export HOME=$OLDHOME