X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=as%2Fcasl2lib%2FMakefile;h=e191cf438f58dd5e64e22fddfae2a34912511308;hb=3053e64d09d37f001077a8a04b29b394213d8b60;hp=74da775935f42192453b2cf77588ce80a0a6a77f;hpb=955b8eab6e12f9d9704d7f9bd1f12613a57a6ca0;p=YACASL2.git diff --git a/as/casl2lib/Makefile b/as/casl2lib/Makefile index 74da775..e191cf4 100644 --- a/as/casl2lib/Makefile +++ b/as/casl2lib/Makefile @@ -1,6 +1,17 @@ -SRCDIR = `ls -d *src` -.PHONY: all clean -all: - @for target in $(SRCDIR); do $(MAKE) -C $$target; done -clean: - @for target in $(SRCDIR); do $(MAKE) -C $$target clean; done +.PHONY: install-casl2lib uninstall-casl2lib + +RMF ?= rm -f +RMDIR ?= rmdir +ECHO ?= echo +INSTALL ?= install + +prefix ?= ~ +sharedir ?= $(prefix)/share + +install-casl2lib: *.casl + $(INSTALL) -d $(sharedir)/casl2lib + $(INSTALL) $^ $(sharedir)/casl2lib/ + +uninstall-casl2lib: + @$(RMF) $(sharedir)/casl2lib/*.casl + @$(RMDIR) $(sharedir)/casl2lib || if test -e $(sharedir)/casl2lib; then $(ECHO) "$(sharedir)/casl2lib: files may be added by others."; fi