OpenXM/misc/packages/Linux/Debian/debian/rules - diff

Return to rules CVS log

Up to [local] / OpenXM / misc / packages / Linux / Debian / debian

version 1.2, 2003/02/22 06:10:25

version 1.7, 2004/02/26 11:46:55

Line 26 BINARY_FILES = OpenXM/bin OpenXM/lib/*.a OpenXM/lib/*.

MAN_PAGES = openxm.1 sm1.1

EXECUTABLES = gnuplot4ox gnuplot_x11 k0 ox ox_sm1 oxlog oxweave sm1 tigers

SHELL_SCRIPTS=asir sm1 oxgp oxmath oxMathematica ox openxm

SHELL_SCRIPTS=asir sm1 oxmath oxMathematica ox openxm

INST_PREFIX = `pwd`/debian/tmp/usr/local

Line 37 build-stamp:

(export PATH=${PATH}:/usr/lib/jdk1.1/bin ; cd OpenXM/src ;\

make configure ;\

make ;\

make install)

make install ; make install-document ; cd asir-port ; make install ; make clean-for-knoppix)

touch build-stamp

clean:

Line 59 install: build

-for i in $(EXECUTABLES); do strip ${INST_PREFIX}/OpenXM/bin/$$i ; done

make -C ${INST_PREFIX}/OpenXM/rc repl

sed 's/setenv OpenXM_HOME $$HOME/setenv OpenXM_HOME \/usr\/local/' <${INST_PREFIX}/OpenXM/rc/cshrc >${INST_PREFIX}/OpenXM/rc/dot.cshrc

sed 's/^OpenXM_HOME=$$HOME/OpenXM_HOME=\/usr\local/' <${INST_PREFIX}/OpenXM/rc/bashrc >${INST_PREFIX}/OpenXM/rc/dot.bashrc

sed 's/^OpenXM_HOME=$$HOME/OpenXM_HOME=\/usr\/local/' <${INST_PREFIX}/OpenXM/rc/bashrc >${INST_PREFIX}/OpenXM/rc/dot.bashrc

mkdir ${INST_PREFIX}/bin

(cd ${INST_PREFIX}/OpenXM/rc ; make openxm ; ./gen-shell-scripts ; cp ${SHELL_SCRIPTS} ../../bin )

#dh_movefiles