Return to Makefile CVS log

Up to [local] / OpenXM / rc

The following changes are mainly for /usr/port/math/openxm in FreeBSD.
The name of OpenXM/rc/gp is chagend to oxgp to avoid a conflict
with /usr/ports/math/pari.
An online manual for sm1 will be installed to /usr/local/man/man1.
The shell script openxm to start commands in OpenXM/bin will be installed
to ${PREFIX}/bin.

# $OpenXM: OpenXM/rc/Makefile,v 1.10 2000/03/04 11:03:36 takayama Exp $
# make repl
# make all
# make install  [ PREFIX=/home/hoge ]  ; Default is /usr/local
CC=gcc
# SHELL_SCRIPTS=asir sm1 oxgp k0 oxmath oxMathematica ox
SHELL_SCRIPTS=asir sm1 oxgp oxmath oxMathematica ox openxm
PREFIX=/usr/local
INSTALL_DIR=${PREFIX}/bin

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

dot.cshrc : cshrc repl
	rm -f dot.cshrc 
	echo "# DO NOT EDIT THIS FILE" >dot.cshrc
	./repl <cshrc >>dot.cshrc

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

openxm : dot.cshrc
	rm -f openxm
	echo "#!/bin/csh" >openxm
	cat dot.cshrc >>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 $(SHELL_SCRIPTS) .gen-shell-scripts