'niti' is the engine name
'nit' is the binary name
Signed-off-by: Jean Privat <jean@pryen.org>
find_nitc()
{
((tapcount=tapcount+1))
- name="$engine"
+ name="$enginebinname"
recent=`ls -t ../src/$name ../src/$name_[0-9] ../bin/$name ../c_src/$name 2>/dev/null | head -1`
if [[ "x$recent" == "x" ]]; then
if [ -n "$tap" ]; then
*) stop=true
esac
done
+enginebinname=$engine
+case $engine in
+ nitc|nitg) ;;
+ nit) engine=niti ;;
+ niti) enginebinname=nit ;;
+esac
# The default nitc compiler
[ -z "$NITC" ] && find_nitc
inputs=/dev/null
fi
- if [ "$engine" = "nit" ]; then
+ if [ "$engine" = "niti" ]; then
cat > "./$ff.bin" <<END
exec $NITC --no-color $OPT "$i" $includes -- "\$@"
END