version 1.16, 2001/09/18 05:30:55 |
version 1.18, 2003/02/03 07:14:38 |
|
|
# $OpenXM: OpenXM/rc/Makefile,v 1.15 2001/08/29 11:18:58 takayama Exp $ |
# $OpenXM: OpenXM/rc/Makefile,v 1.17 2001/09/20 06:06:05 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 oxgp k0 oxmath oxMathematica ox |
# SHELL_SCRIPTS=asir sm1 oxgp k0 oxmath oxMathematica ox |
SHELL_SCRIPTS=asir sm1 oxgp oxmath oxMathematica ox openxm |
SHELL_SCRIPTS=asir sm1 oxgp oxmath oxMathematica ox openxm webasir |
PREFIX=/usr/local |
PREFIX=/usr/local |
INSTALL_DIR=${PREFIX}/bin |
INSTALL_DIR=${PREFIX}/bin |
MAN_DIR=../man/man1 |
MAN_DIR=../man/man1 |
|
|
${CC} -static -o ../bin/rc.repl repl.c |
${CC} -static -o ../bin/rc.repl repl.c |
ln -s ../bin/rc.repl repl |
ln -s ../bin/rc.repl repl |
|
|
openxm : dot.cshrc |
openxm : dot.bashrc |
rm -f openxm |
rm -f openxm |
echo "#!/bin/sh" >openxm |
echo "#!/bin/sh" >openxm |
cat dot.bashrc >>openxm |
cat dot.bashrc >>openxm |
|
|
install.asir_key: |
install.asir_key: |
-../bin/sm1 -f fetch_asir_key.sm1 |
-../bin/sm1 -f fetch_asir_key.sm1 |
|
|
|
install-bin : |
|
cp -f webasir ../bin |
|
|
clean : |
clean : |
rm -rf dot.bashrc dot.cshrc repl openxm $(SHELL_SCRIPTS) .gen-shell-scripts work |
rm -rf dot.bashrc dot.cshrc repl openxm $(SHELL_SCRIPTS) .done_gen-shell-scripts work |
|
|