Return to Makefile CVS log | Up to [local] / OpenXM / rc |
File: [local] / OpenXM / rc / Makefile (download)
Revision 1.10, Sat Mar 4 11:03:36 2000 UTC (24 years, 7 months ago) by takayama
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