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

Return to Makefile CVS log

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

version 1.23, 2004/02/23 00:09:30

version 1.25, 2015/02/20 01:20:45

Line 1

# $OpenXM: OpenXM/misc/packages/Generic/openxm/Makefile,v 1.22 2004/02/22 09:17:11 takayama Exp $

# $OpenXM: OpenXM/misc/packages/Generic/openxm/Makefile,v 1.24 2005/04/15 01:41:13 takayama Exp $

# The FIRST part is a Makefile FOR COMMITTERS: it is used

# to generate source and binary distributions of

# the OpenXM package on various operating systems.

Line 22 RCVS=cvs-OpenXM -d kerberos.math.sci.kobe-u.ac.jp:/usr

PREFIX=/usr/local

VERSION=head

TAG=HEAD

FTP_AREA=/export/home01/ftp/pub/OpenXM/${VERSION}

FTP_AREA=/export/home01/web/pub/OpenXM/${VERSION}

OpenXM_contrib_files=OpenXM_contrib/uuencoded OpenXM_contrib/pari

RELEASE=

## If you like to have a release name as a part of tar ball, then uncomment

## the next line.

Line 155 clean-installed-openxm:

Line 157 clean-installed-openxm:

fetch :

@if [ ! -f ./.fetch_done ]; then \

/bin/rm -rf work ; mkdir work ; mkdir ${WORK} ; \

( cd ${WORK} ; ${RCVS} export -r${TAG} OpenXM OpenXM_contrib OpenXM_contrib2) ; \

( cd ${WORK} ; ${RCVS} export -r${TAG} OpenXM ${OpenXM_contrib_files} OpenXM_contrib2) ; \

cp Makefile ${WORK}/Makefile ; \

@touch ./.fetch_done