#!/bin/bash

# This script runs the RALF framework.
# Input: the input for this file is the same that should be passed to gcc.
# Example: fcc -c -O2 prog.c -o /tmp/fern.o;

RALF_HOME="/project/nvk/SLA+RA"
LINKER_HOME="/usr/local"

CC="$RALF_HOME/armtoolchain/armbuild/bin/arm-linux-gcc 
-I$LINKER_HOME/armbe/armv4b-unknown-linux/include/ 
-B$LINKER_HOME/arm-linux/armv4b-unknown-linux/lib/ 
-B$LINKER_HOME/arm-linux/lib/gcc-lib/armv4b-unknown-linux/2.95.2/ 
-B$RALF_HOME/armtoolchain/gcc-2.95.2/gcc/ "

TEMP_DIR="/tmp"
BIN_DIR="/misc/fijihome/gs3/fernando/bin"
JAVA5="/misc/usr/local/java/jdk1.5.0_04/bin/java"

export DO_SARA=2
#unset DO_SARA
export ILP_IN=/tmp/fern.dat
export ILP_OUT=/tmp/fern.out
export STATS_OUT=/tmp/fern_stats.out
export ILP_SOLVE="$BIN_DIR/register_allocator $ILP_IN $ILP_OUT"
export RUN_VERIFIER=1
$CC $* 
