| version 1.3, 2000/01/26 23:14:40 |
version 1.17, 2001/09/20 06:06:05 |
|
|
| # $OpenXM: OpenXM/rc/Makefile,v 1.2 2000/01/18 09:42:17 takayama Exp $ |
# $OpenXM: OpenXM/rc/Makefile,v 1.16 2001/09/18 05:30:55 takayama Exp $ |
| |
# make repl |
| |
# make all |
| |
# make install [ PREFIX=/home/hoge ] ; Default is /usr/local |
| CC=gcc |
CC=gcc |
| all : dot.bashrc dot.cshrc openxm |
# SHELL_SCRIPTS=asir sm1 oxgp k0 oxmath oxMathematica ox |
| |
SHELL_SCRIPTS=asir sm1 oxgp oxmath oxMathematica ox openxm webasir |
| |
PREFIX=/usr/local |
| |
INSTALL_DIR=${PREFIX}/bin |
| |
MAN_DIR=../man/man1 |
| |
|
| dot.bashrc : bashrc repl |
all : dot.bashrc dot.cshrc openxm .done_gen-shell-scripts |
| |
|
| |
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 '$$*' >>openxm |
echo 'exec $$*' >>openxm |
| chmod +x openxm |
chmod +x openxm |
| cp -f openxm ../bin |
cp -f openxm ../bin |
| |
|
| |
.done_gen-shell-scripts : dot.cshrc Makefile gen-shell-scripts |
| |
./gen-shell-scripts |
| |
touch .done_gen-shell-scripts |
| |
|
| |
install : all |
| |
cp -f $(SHELL_SCRIPTS) ${INSTALL_DIR} |
| |
|
| |
install.man : |
| |
-cp openxm.1 ${MAN_DIR} |
| |
|
| |
install.asir_key: |
| |
-../bin/sm1 -f fetch_asir_key.sm1 |
| |
|
| |
install-bin : |
| |
cp -f webasir ../bin |
| |
|
| clean : |
clean : |
| rm -f dot.bashrc dot.cshrc repl openxm |
rm -rf dot.bashrc dot.cshrc repl openxm $(SHELL_SCRIPTS) .gen-shell-scripts work |
| |
|