123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148 |
- #
- # Makefile for REDUCE User Contributed Library (PSL Version)
- #
- # Author: James H. Davenport <jhd@maths.bath.ac.uk>.
- #
- # Modified by: Anthony C. Hearn.
- #
- # This Makefile may be used to build fast loading versions of all the
- # PSL REDUCE User Contributed Library packages, or any particular
- # package. It assumes that the relevant source files are in the
- # $reduce/lib directory. It is specific to PSL, and of course those
- # systems (e.g. UNIX) that support a make mechanism. However, it can
- # be easily used with other systems with a make facility once a
- # suitable mkfasl script has been written.
- REDUCE= $(reduce)
- FASL = b
- BINDIR= $(REDUCE)/fasl
- SRCDIR= $(REDUCE)/lib
- TSTDIR= $(REDUCE)/lib
- MKFASL= $(REDUCE)/util/mkfasl2
- PACKAGES= assist changevar cvit desir fide laplace linineq physop \
- pm reacteqn reset rlfi showrules tri wu
- UNCOMPILEDPACKAGES= odeex
- TSTPACKAGES= assist changevar cvit desir fide laplace linineq physop \
- pmrules reacteqn rlfi tri wu
- all: $(PACKAGES)
- assist: $(BINDIR)/assist.$(FASL)
- $(BINDIR)/assist.$(FASL): $(SRCDIR)/assist.red
- $(MKFASL) assist lib
- changevar: $(BINDIR)/changevar.$(FASL)
- $(BINDIR)/changevar.$(FASL): $(SRCDIR)/changevar.red
- $(MKFASL) changevar lib
- cvit: $(BINDIR)/cvit.$(FASL)
- $(BINDIR)/cvit.$(FASL): $(SRCDIR)/cvit.red
- $(MKFASL) cvit lib
- desir: $(BINDIR)/desir.$(FASL)
- $(BINDIR)/desir.$(FASL): $(SRCDIR)/desir.red
- $(MKFASL) desir lib
- fide: $(BINDIR)/fide1.$(FASL) $(BINDIR)/fide.$(FASL)
- $(BINDIR)/fide1.$(FASL): $(SRCDIR)/fide1.red
- $(MKFASL) fide1 lib
- $(BINDIR)/fide.$(FASL): $(SRCDIR)/fide.red
- $(MKFASL) fide lib
- laplace: $(BINDIR)/laplace.$(FASL)
- $(BINDIR)/laplace.$(FASL): $(SRCDIR)/laplace.red
- $(MKFASL) laplace lib
- linineq: $(BINDIR)/linineq.$(FASL)
- $(BINDIR)/linineq.$(FASL): $(SRCDIR)/linineq.red
- $(MKFASL) linineq lib
- physop: $(BINDIR)/noncom2.$(FASL) $(BINDIR)/physop.$(FASL)
- $(BINDIR)/noncom2.$(FASL): $(SRCDIR)/noncom2.red
- $(MKFASL) noncom2 lib
- $(BINDIR)/physop.$(FASL): $(SRCDIR)/physop.red
- $(MKFASL) physop lib
- pm: $(BINDIR)/pm.$(FASL) $(BINDIR)/pmrules.$(FASL)
- # $(BINDIR)/pmrules2.$(FASL)
- $(BINDIR)/pm.$(FASL): $(SRCDIR)/pm.red
- $(MKFASL) pm lib
- $(BINDIR)/pmrules.$(FASL): $(SRCDIR)/pmrules.red
- $(MKFASL) pmrules lib
- # $(BINDIR)/pmrules2.$(FASL): $(SRCDIR)/pmrules2.red
- # $(MKFASL) pmrules2 lib
- reacteqn: $(BINDIR)/reacteqn.$(FASL)
- $(BINDIR)/reacteqn.$(FASL): $(SRCDIR)/reacteqn.red
- $(MKFASL) reacteqn lib
- reset: $(BINDIR)/reset.$(FASL)
- $(BINDIR)/reset.$(FASL): $(SRCDIR)/reset.red
- $(MKFASL) reset lib
- rlfi: $(BINDIR)/rlfi.$(FASL)
- $(BINDIR)/rlfi.$(FASL): $(SRCDIR)/rlfi.red
- $(MKFASL) rlfi lib
- showrules: $(BINDIR)/showrules.$(FASL)
- $(BINDIR)/showrules.$(FASL): $(SRCDIR)/showrules.red
- $(MKFASL) showrules lib
- tri: $(BINDIR)/tri.$(FASL)
- $(BINDIR)/tri.$(FASL): $(SRCDIR)/tri.red
- $(MKFASL) tri lib
- wu: $(BINDIR)/wu.$(FASL)
- $(BINDIR)/wu.$(FASL): $(SRCDIR)/wu.red
- $(MKFASL) wu lib
- test: $(PACKAGES)
- for i in $(TSTPACKAGES) ; do \
- rm -f $(REDUCE)/log/$$i.log ; \
- echo 'load_package '$$i';on errcont;in "'$(TSTDIR)/$$i'.tst"; bye;' \
- | reduce > $(REDUCE)/log/$$i.log ; \
- done
- check: $(PACKAGES)
- - for i in $(TSTPACKAGES) ; do \
- echo 'comparing '$$i'...' ; \
- diff $(REDUCE)/log/$$i.log $(TSTDIR) ; \
- done
|