Return to Makefile CVS log | Up to [local] / OpenXM / rc |
File: [local] / OpenXM / rc / Makefile (download)
Revision 1.13, Thu Mar 9 12:53:34 2000 UTC (24 years, 2 months ago) by takayama
Fetch_asir_key.sm1 is a sm1 script that AUTOMATICALLY fetches and sets asir_key by accessing risa@sec.flab.fujitsu.co.jp. Usage: ../bin/sm1 -f fetch_asir_key.sm1 |
# $OpenXM: OpenXM/rc/Makefile,v 1.13 2000/03/09 12:53:34 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 MAN_DIR=../man/man1 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} install.man : -cp openxm.1 ${MAN_DIR} install.asir_key: -../bin/sm1 -f fetch_asir_key.sm1 clean : rm -f dot.bashrc dot.cshrc repl openxm $(SHELL_SCRIPTS) .gen-shell-scripts work