1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
#!/bin/csh
#
# jasmin - runs the Jasmin assembler
#
# Usage:
# jasmin [-d <directory>] <filename> [<filename> ...]
#
#
# JASMIN needs to be set to the directory containing the
# Jasmin distribution. We try:
#
# /usr/local/jasmin
# ~/jasmin
# `pwd`
#
#
if (-e /usr/local/jasmin) then
set JASMIN=/usr/local/jasmin
else if (-e $HOME/jasmin) then
# try the home directory
set JASMIN=$HOME/jasmin
else
# try the current directory
set JASMIN=`pwd`
endif
if (! -e $JASMIN/bin/jasmin) then
echo "Cannot find Jasmin! Check the jasmin script is looking in the right place."
else
setenv CLASSPATH $JASMIN/classes
exec java jasmin.Main $*
endif
|
