OpenXM/misc/packages/Generic/openxm/Makefile - diff

Return to Makefile CVS log

Up to [local] / OpenXM / misc / packages / Generic / openxm

version 1.8, 2000/03/10 10:25:21

version 1.10, 2000/03/10 14:57:51

Line 1

# $OpenXM: OpenXM/misc/packages/Generic/openxm/Makefile,v 1.7 2000/03/10 03:20:26 takayama Exp $

# $OpenXM: OpenXM/misc/packages/Generic/openxm/Makefile,v 1.9 2000/03/10 14:21:45 takayama Exp $

# This is a Makefile to generate source and binary distributions of

# the OpenXM package on various plathomes.

Line 39 WORK=work/openxm-${VERSION}

### Common

SHARED_FILES = OpenXM/Copyright OpenXM/doc OpenXM/include OpenXM/man \

OpenXM/rc \

OpenXM/lib/asir-contrib OpenXM/lib/java-support \

OpenXM/lib/k097 OpenXM/lib/math OpenXM/lib/pari \

OpenXM/lib/sm1 OpenXM/lib/asir

BINARY_FILES = OpenXM/bin OpenXM/lib/*.a OpenXM/lib/*.so*

BINARY_FILES = OpenXM/bin OpenXM/lib/*.a OpenXM/lib/*.so* OpenXM/lib/*.a.* \

OpenXM/rc

EXECUTABLES=gnuplot4ox gnuplot_x11 k0 ox ox_sm1 oxlog oxweave sm1 tigers ox_math

usage :

Line 92 all-ideal : configure

Line 93 all-ideal : configure

@touch .all_done

install : install-binary-files install-shared-files

make install-shell-scripts PREFIX=${prefix}

install-shell-scripts:

# Install shell scripts to ${prefix}/bin, which is typically /usr/local/bin

(cd ${prefix}/OpenXM/rc ; make ; make install PREFIX=${prefix})