OpenXM/rc/Makefile - diff

Return to Makefile CVS log

Up to [local] / OpenXM / rc

version 1.2, 2000/01/18 09:42:17

version 1.9, 2000/03/02 02:05:13

Line 1

# $OpenXM: OpenXM/rc/Makefile,v 1.1 2000/01/18 09:38:58 takayama Exp $

# $OpenXM: OpenXM/rc/Makefile,v 1.8 2000/03/01 00:15:45 takayama Exp $

# make repl

# make all

# make install [ PREFIX=/home/hoge ] ; Default is /usr/local

CC=gcc

all : dot.bashrc dot.cshrc openxm

# SHELL_SCRIPTS=asir sm1 gp k0 oxmath oxMathematica ox

SHELL_SCRIPTS=asir sm1 gp oxmath oxMathematica ox

PREFIX=/usr/local

INSTALL_DIR=${PREFIX}/bin

dot.bashrc : bashrc repl

all : dot.bashrc dot.cshrc openxm .done_gen-shell-scripts

dot.bashrc : bashrc repl

rm -f dot.bashrc

echo "# DO NOT EDIT THIS FILE" >dot.bashrc

./repl <bashrc >>dot.bashrc

Line 13 dot.cshrc : cshrc repl

Line 21 dot.cshrc : cshrc repl

./repl <cshrc >>dot.cshrc

repl : repl.c

${CC} -o repl repl.c

${CC} -static -o repl repl.c

openxm : dot.cshrc

rm -f openxm

echo "#!/bin/csh" >openxm

cat dot.cshrc >>openxm

echo '$$*' >>openxm

echo 'exec $$*' >>openxm

chmod +x openxm

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}

clean :

rm -f dot.bashrc dot.cshrc repl openxm

rm -f dot.bashrc dot.cshrc repl openxm $(SHELL_SCRIPTS) .gen-shell-scripts