X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=as%2Fcasl2lib%2FMakefile;h=526fae1d2e006e99a8e3b678412c1229294d19d4;hb=473906d23322ef829ee8dad807895235d645981c;hp=c77731eb042be9df90737d145ece08aefa6c34ce;hpb=5ae22b6a5488469b6513d2ba44ad589467da63e7;p=YACASL2.git diff --git a/as/casl2lib/Makefile b/as/casl2lib/Makefile index c77731e..526fae1 100644 --- a/as/casl2lib/Makefile +++ b/as/casl2lib/Makefile @@ -1,24 +1,34 @@ -ECHOHEADER = 'echo ";;; *** This file is auto generated. ***"' -TARGETS = inl.casl l2str.casl mula.casl outa.casl outb.casl outl.casl -.PHONY: all clean -all: $(TARGETS) -inl.casl: src_inl/inl_main.casl mull.casl - @echo ";;; *** This file is auto generated. ***" >$@; \ - cat $^ >>$@ -l2str.casl: src_l2str/l2str_main.casl divl.casl rev.casl - @echo ";;; *** This file is auto generated. ***" >$@; \ - cat $^ >>$@ -mula.casl: src_mula/mula_main.casl mull.casl - @echo ";;; *** This file is auto generated. ***" >$@; \ - cat $^ >>$@ -outa.casl: src_outa/outa_main.casl divl.casl rev.casl abs.casl - @echo ";;; *** This file is auto generated. ***" >$@; \ - cat $^ >>$@ -outb.casl: src_outb/outb_main.casl divl.casl rev.casl - @echo ";;; *** This file is auto generated. ***" >$@; \ - cat $^ >>$@ -outl.casl: src_outl/outl_main.casl l2str.casl - @echo ";;; *** This file is auto generated. ***" >$@; \ - cat $^ >>$@ +.PHONY: all libfiles install-casl2lib uninstall-casl2lib + +CAT := cat +CASL2OUT := casl2 -M4096 -O +RMF := rm -f +RMDIR := rmdir +ECHO := echo +INSTALL := install + +prefix ?= ~ +casl2libdir ?= $(prefix)/share/casl2lib + +all: stdlib.casl libfiles + +%.casl: src/%.casl + $(CAT) $^ >$@ + +%.o: %.casl + $(CASL2OUT)$< $@ + +include casl2lib.dep + clean: - @for target in $(TARGETS); do rm -f $$target; done + +distclean: + $(RM) *.casl + +install-casl2lib: *.casl + $(INSTALL) -d $(casl2libdir) + $(INSTALL) $^ $(casl2libdir)/ + +uninstall-casl2lib: + @$(RMF) $(casl2libdir)/*.casl + @$(RMDIR) $(casl2libdir) || if test -e $(casl2libdir); then $(ECHO) "$(casl2libdir): files may be added by others."; fi