version 1.2, 2003/02/22 06:10:25 |
version 1.6, 2004/02/24 06:16:31 |
|
|
(export PATH=${PATH}:/usr/lib/jdk1.1/bin ; cd OpenXM/src ;\ |
(export PATH=${PATH}:/usr/lib/jdk1.1/bin ; cd OpenXM/src ;\ |
make configure ;\ |
make configure ;\ |
make ;\ |
make ;\ |
make install) |
make install ; make install-document ; cd asir-port ; make install ; make clean-for-knoppix) |
touch build-stamp |
touch build-stamp |
|
|
clean: |
clean: |
|
|
-for i in $(EXECUTABLES); do strip ${INST_PREFIX}/OpenXM/bin/$$i ; done |
-for i in $(EXECUTABLES); do strip ${INST_PREFIX}/OpenXM/bin/$$i ; done |
make -C ${INST_PREFIX}/OpenXM/rc repl |
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/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 |
mkdir ${INST_PREFIX}/bin |
(cd ${INST_PREFIX}/OpenXM/rc ; make openxm ; ./gen-shell-scripts ; cp ${SHELL_SCRIPTS} ../../bin ) |
(cd ${INST_PREFIX}/OpenXM/rc ; make openxm ; ./gen-shell-scripts ; cp ${SHELL_SCRIPTS} ../../bin ) |
#dh_movefiles |
#dh_movefiles |