version 1.8, 2000/03/01 00:15:45 |
version 1.16, 2001/09/18 05:30:55 |
|
|
# $OpenXM: OpenXM/rc/Makefile,v 1.7 2000/02/01 12:01:31 takayama Exp $ |
# $OpenXM: OpenXM/rc/Makefile,v 1.15 2001/08/29 11:18:58 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 |
echo "#!/bin/csh" >openxm |
echo "#!/bin/sh" >openxm |
cat dot.cshrc >>openxm |
cat dot.bashrc >>openxm |
echo 'exec $$*' >>openxm |
echo 'exec $$*' >>openxm |
chmod +x openxm |
chmod +x openxm |
cp -f openxm ../bin |
cp -f openxm ../bin |
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 |
|
|