| --- a/Makefile 2012-09-14 22:46:11.508415083 +0200 | |
| +++ b/Makefile 2012-09-14 22:46:34.526338371 +0200 | |
| @@ -35,10 +35,13 @@ | |
| install: | |
| install -d $(DESTDIR)/pam | |
| - install -m 644 -t $(DESTDIR)/pam META *.mli *.cmi *.cmx *.cma *.cmxa *.a | |
| + install -m 644 -t $(DESTDIR)/pam META *.mli *.cmi *.cma *.a | |
| install -d $(DESTDIR)/stublibs | |
| install -m 644 -t $(DESTDIR)/stublibs dll$(BASENAME).so | |
| +install-opt: | |
| + install -m 644 -t $(DESTDIR)/pam *.cmx *.cmxa | |
| + | |
| dist: clean | |
| mkdir -p $(DISTNAME) | |
| -cp * $(DISTNAME) |