| version 1.8, 2000/03/01 00:15:45 |
version 1.15, 2001/08/29 11:18:58 |
|
|
| # $OpenXM: OpenXM/rc/Makefile,v 1.7 2000/02/01 12:01:31 takayama Exp $ |
# $OpenXM: OpenXM/rc/Makefile,v 1.14 2000/03/10 02:13:29 takayama Exp $ |
| # make repl |
# make repl |
| # make all |
# make all |
| # make install [ PREFIX=/home/hoge ] ; Default is /usr/local |
# make install [ PREFIX=/home/hoge ] ; Default is /usr/local |
| CC=gcc |
CC=gcc |
| SHELL_SCRIPTS=asir sm1 gp k0 oxmath oxMathematica ox |
# SHELL_SCRIPTS=asir sm1 oxgp k0 oxmath oxMathematica ox |
| |
SHELL_SCRIPTS=asir sm1 oxgp oxmath oxMathematica ox openxm |
| PREFIX=/usr/local |
PREFIX=/usr/local |
| INSTALL_DIR=${PREFIX}/bin |
INSTALL_DIR=${PREFIX}/bin |
| |
MAN_DIR=../man/man1 |
| |
|
| all : dot.bashrc dot.cshrc openxm .done_gen-shell-scripts |
all : dot.bashrc dot.cshrc openxm .done_gen-shell-scripts |
| |
|
| dot.bashrc : bashrc repl |
dot.bashrc : bashrc repl |
| rm -f dot.bashrc |
rm -f dot.bashrc |
| echo "# DO NOT EDIT THIS FILE" >dot.bashrc |
echo "# DO NOT EDIT THIS FILE" >dot.bashrc |
| ./repl <bashrc >>dot.bashrc |
./repl bash <bashrc >>dot.bashrc |
| |
|
| dot.cshrc : cshrc repl |
dot.cshrc : cshrc repl |
| rm -f dot.cshrc |
rm -f dot.cshrc |
| echo "# DO NOT EDIT THIS FILE" >dot.cshrc |
echo "# DO NOT EDIT THIS FILE" >dot.cshrc |
| ./repl <cshrc >>dot.cshrc |
./repl csh <cshrc >>dot.cshrc |
| |
|
| repl : repl.c |
repl : repl.c |
| ${CC} -static -o repl repl.c |
rm -f repl |
| |
${CC} -static -o ../bin/rc.repl repl.c |
| |
ln -s ../bin/rc.repl repl |
| |
|
| openxm : dot.cshrc |
openxm : dot.cshrc |
| rm -f openxm |
rm -f openxm |
| Line 34 openxm : dot.cshrc |
|
| Line 38 openxm : dot.cshrc |
|
| ./gen-shell-scripts |
./gen-shell-scripts |
| touch .done_gen-shell-scripts |
touch .done_gen-shell-scripts |
| |
|
| install : all |
install : all |
| cp -f $(SHELL_SCRIPTS) ${INSTALL_DIR} |
cp -f $(SHELL_SCRIPTS) ${INSTALL_DIR} |
| |
|
| |
install.man : |
| |
-cp openxm.1 ${MAN_DIR} |
| |
|
| |
install.asir_key: |
| |
-../bin/sm1 -f fetch_asir_key.sm1 |
| |
|
| clean : |
clean : |
| rm -f dot.bashrc dot.cshrc repl openxm $(SHELL_SCRIPTS) .gen-shell-scripts |
rm -rf dot.bashrc dot.cshrc repl openxm $(SHELL_SCRIPTS) .gen-shell-scripts work |
| |
|