X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=as%2Fcasl2lib%2FMakefile;h=9b17270e465d456649d968249784e48aa5ded46a;hb=e93fac80fa9e8b7062ef77219c22f338d84387f0;hp=4cd9cce753a5e027a0e7542ea3bee697a83e2bfa;hpb=123e1c84b369e6f1c7b28c72e6902e4742628be4;p=YACASL2.git

diff --git a/as/casl2lib/Makefile b/as/casl2lib/Makefile
index 4cd9cce..9b17270 100644
--- a/as/casl2lib/Makefile
+++ b/as/casl2lib/Makefile
@@ -1,12 +1,32 @@
-.PHONY: install-casl2lib uninstall-casl2lib
+.PHONY: all libfiles install-casl2lib uninstall-casl2lib
 
-RMF ?= rm -f
-RMDIR ?= rmdir
-ECHO ?= echo
-INSTALL ?= install
+CAT := cat
+CASL2OUT := casl2 -M4096 -O
+RMF := rm -f
+RMDIR := rmdir
+ECHO := echo
+INSTALL := install
+CHMOD := chmod
 
 prefix ?= ~
-casl2libdir ?= $(prefix)/yacasl2/casl2lib
+casl2libdir ?= $(prefix)/share/casl2lib
+
+all: stdlib.casl libfiles
+
+%.casl: src/%.casl
+	$(CHMOD) +w $@
+	$(CAT) $^ >$@
+	$(CHMOD) -w $@
+
+%.o: %.casl
+	$(CASL2OUT)$< $@
+
+include casl2lib.dep
+
+clean:
+
+distclean:
+	$(RM) *.casl
 
 install-casl2lib: *.casl
 	$(INSTALL) -d $(casl2libdir)