# Usage:
#       make makefiles [name=value]...
#
# See makedefs for a description of available options.
# Examples:
#
#       make makefiles
#       make makefiles CC="purify cc"
#       make makefiles CC=cc OPT=
#
SHELL   = /bin/sh

default: update

update depend clean tidy depend_update: Makefiles
       $(MAKE) MAKELEVEL= $@

install upgrade:
       @echo Please review the INSTALL instructions first.

makefiles Makefiles:
       $(MAKE) -f Makefile.in MAKELEVEL= Makefiles

You are viewing proxied material from ftp.icm.edu.pl. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.