src/Pure/mk
author wenzelm
Mon, 06 Oct 1997 18:20:15 +0200
changeset 3774 b1bfd394b60a
parent 3505 1cb4ea47d967
child 4442 8ed9e689a15e
permissions -rwxr-xr-x
RAW target;

#!/bin/bash
#
# $Id$
#
# mk - build Pure Isabelle.
#
# Assumes to be called via Isabelle make utility (cf. IsaMakefile).


## diagnostics

function usage()
{
  echo
  echo "Usage: $PRG [OPTIONS]"
  echo
  echo "  Make Pure Isabelle."
  echo
  echo "    -r           just prepare RAW image"
  echo
  exit 1
}

function fail()
{
  echo "$1" >&2
  exit 2
}


## process command line

# options

RAW=""

while getopts "r" OPT
do
  case "$OPT" in
    r)
      RAW=true
      ;;
    \?)
      usage
      ;;
  esac
done

shift $(($OPTIND - 1))


# args

[ $# -ne 0 ] && usage


## main

ML_SYSTEM_BASE=$(echo $ML_SYSTEM | cut -f1 -d-)
[ -z "$ML_SYSTEM" ] && \
  fail "Missing ML system settings! Probably not run via 'isatool make'?."

COMPAT=""
[ -f "ML-Systems/$ML_SYSTEM_BASE.ML" ] && COMPAT="ML-Systems/$ML_SYSTEM_BASE.ML"
[ -f "ML-Systems/$ML_SYSTEM.ML" ] && COMPAT="ML-Systems/$ML_SYSTEM.ML"
[ -z "$COMPAT" ] && fail "Missing compatibility file for ML system \"$ML_SYSTEM\"!"

if [ -z "$RAW" ]; then
  $ISABELLE \
    -e "val ml_system = \"$ML_SYSTEM\";" \
    -e "use\"$COMPAT\"; use\"ROOT.ML\" handle _ => exit 1;" \
    -q -w RAW_ML_SYSTEM Pure
else
  $ISABELLE \
    -e "val ml_system = \"$ML_SYSTEM\";" \
    -e "use\"$COMPAT\";" \
    -q -w RAW_ML_SYSTEM RAW
fi