OpenXM/rc/Makefile - diff

Return to Makefile CVS log

Up to [local] / OpenXM / rc

version 1.5, 2000/01/30 23:47:40

version 1.12, 2000/03/06 08:08:11

Line 1

# $OpenXM: OpenXM/rc/Makefile,v 1.4 2000/01/30 10:40:42 takayama Exp $

# $OpenXM: OpenXM/rc/Makefile,v 1.11 2000/03/05 06:54:00 takayama Exp $

# make repl

# make all

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

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

CC=gcc

SHELL_SCRIPTS=asir sm1 gp k0 oxmath oxMathematica

# SHELL_SCRIPTS=asir sm1 oxgp k0 oxmath oxMathematica ox

INSTALL_DIR=/usr/local/bin

SHELL_SCRIPTS=asir sm1 oxgp oxmath oxMathematica ox openxm

PREFIX=/usr/local

INSTALL_DIR=${PREFIX}/bin

MAN_DIR=../man/man1

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

Line 25 openxm : dot.cshrc

Line 28 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

Line 33 openxm : dot.cshrc

Line 36 openxm : dot.cshrc

./gen-shell-scripts

touch .done_gen-shell-scripts

install : all

cp -f $(SHELL_SCRIPTS) ${INSTALL_DIR}

install.man :

-cp openxm.1 ${MAN_DIR}

clean :

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