From 9c6e7e6891dd86f26f4b35671e6ba6c46f41dc75 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Wed, 16 Mar 2011 09:17:32 -0700 Subject: Beginning of build-system upgrade. --- src/configure.sh | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 src/configure.sh (limited to 'src/configure.sh') diff --git a/src/configure.sh b/src/configure.sh new file mode 100644 index 00000000..eb741680 --- /dev/null +++ b/src/configure.sh @@ -0,0 +1,39 @@ +#!/bin/sh + +CFG_SRC_DIR=${0%${0##*/}} +CFG_BUILD_DIR=$PWD + +CFG_OSTYPE=$(uname -s) +CFG_CPUTYPE=$(uname -m) + +echo "configuring on $CFG_CPUTYPE $CFG_OSTYPE" + +echo "setting up build directories" +for i in boot/{fe,me,be,driver,util} \ + rt/{isaac,bigint,sync,test} \ + stage{0,1,2} \ + test/{run-pass,compile-{pass,fail}} +do + mkdir -p -v $i +done + +CFG_VALGRIND=$(sh which valgrind) +CFG_OCAMLC_OPT=$(sh which ocamlc.opt) + +echo "copying Makefile" +cp -v ${CFG_SRC_DIR}Makefile.in ./Makefile + +echo "writing config.mk" +cat >config.mk <