#!/bin/sh

# RSL tool build file for SunOS

set -e
set -x

GENTLE_DIR=    -- where Gentle is installed

GENTLE=$GENTLE_DIR/gentle/gentle
GRTS=$GENTLE_DIR/gentle/grts.o
REFLEX=$GENTLE_DIR/reflex/reflex
LEX=flex
YACC=bison
CC=gcc

ln -s comments.b COMMENTS.b
ln -s lexdef.b LEXDEF.b 
ln -s lexfunc.b LEXFUNC.b
ln -s litblock.b LITBLOCK.b

$GENTLE ast.g
$GENTLE ext.g
$GENTLE env.g
$GENTLE print.g
$GENTLE types.g
$GENTLE values.g
$GENTLE objects.g
$GENTLE grammar.g
$GENTLE cc.g
$GENTLE pp.g
$GENTLE cpp.g
$GENTLE c_ast.g
$GENTLE c_decl.g
$GENTLE c_unparse.g
$GENTLE sml.g
$GENTLE pvs.g
$GENTLE pvs_ast.g
$GENTLE pvs_aux.g
$GENTLE pvs_col_sort.g
$GENTLE pvs_gen_ast.g
$GENTLE pvs_gen_code.g

$REFLEX
$LEX gen.l
$YACC gen.y

$CC -DPATH_MAX=1000 -c files.c

$CC -o rsltc \
   ast.c \
   env.c \
   ext.c \
   print.c \
   types.c \
   values.c \
   objects.c \
   grammar.c \
   cc.c \
   pp.c \
   cpp.c \
   c_ast.c \
   c_decl.c \
   c_unparse.c \
   sml.c \
   pvs.c \
   pvs_ast.c \
   pvs_aux.c \
   pvs_col_sort.c \
   pvs_gen_ast.c \
   pvs_gen_code.c \
   gen.tab.c \
   lex.yy.c \
   errmsg.c \
   files.o \
   idents.c \
   strings.c \
   ccgen.c \
   pos.c \
   main.c \
   $GRTS

