OpenXM/rc/Makefile - diff

Return to Makefile CVS log

Up to [local] / OpenXM / rc

version 1.16, 2001/09/18 05:30:55

version 1.18, 2003/02/03 07:14:38

Line 1

# $OpenXM: OpenXM/rc/Makefile,v 1.15 2001/08/29 11:18:58 takayama Exp $

# $OpenXM: OpenXM/rc/Makefile,v 1.17 2001/09/20 06:06:05 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

SHELL_SCRIPTS=asir sm1 oxgp oxmath oxMathematica ox openxm webasir

PREFIX=/usr/local

INSTALL_DIR=${PREFIX}/bin

MAN_DIR=../man/man1

Line 26 repl : repl.c

${CC} -static -o ../bin/rc.repl repl.c

ln -s ../bin/rc.repl repl

openxm : dot.cshrc

openxm : dot.bashrc

rm -f openxm

echo "#!/bin/sh" >openxm

cat dot.bashrc >>openxm

Line 47 install.man :

install.asir_key:

-../bin/sm1 -f fetch_asir_key.sm1

install-bin :

cp -f webasir ../bin

clean :

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

rm -rf dot.bashrc dot.cshrc repl openxm $(SHELL_SCRIPTS) .done_gen-shell-scripts work