valgrindのオプションを変更

[YACASL2.git] / as / casl2lib / Makefile

diff --git a/as/casl2lib/Makefile b/as/casl2lib/Makefile
index 7ee2687..9b17270 100644 (file)
--- a/as/casl2lib/Makefile
+++ b/as/casl2lib/Makefile
@@ -1,10 +1,37 @@
-SRCDIR = `ls -d src_*`
-TESTDIR = test
-.PHONY: all clean
-all:
-       @for target in $(SRCDIR); do $(MAKE) -C $$target; done
+.PHONY: all libfiles install-casl2lib uninstall-casl2lib
+
+CAT := cat
+CASL2OUT := casl2 -M4096 -O
+RMF := rm -f
+RMDIR := rmdir
+ECHO := echo
+INSTALL := install
+CHMOD := chmod
+
+prefix ?= ~
+casl2libdir ?= $(prefix)/share/casl2lib
+
+all: stdlib.casl libfiles
+
+%.casl: src/%.casl
+       $(CHMOD) +w $@
+       $(CAT) $^ >$@
+       $(CHMOD) -w $@
+
+%.o: %.casl
+       $(CASL2OUT)$< $@
+
+include casl2lib.dep
+
 clean:
-       @for target in $(SRCDIR); do $(MAKE) -C $$target clean; done;
-     make -C $(TESTDIR) clean
-check:
-       @make -C $(TESTDIR)
+
+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