--- work/dypgen-20091118/Makefile	2009-11-18 19:14:18.000000000 +0100
+++ Makefile	2009-12-03 21:19:39.000000000 +0100
@@ -6,7 +6,7 @@
 	cd dyplib; $(MAKE)
 	cd dypgen; $(MAKE)
 
-all:
+all: dyp
 	$(MAKE) dypgen
 	$(MAKE) examples
 
@@ -21,11 +21,11 @@
 	done
 
 install: install_opt
-	mkdir -p $(BINDIR)
-	cp dypgen/dypgen $(BINDIR)
-	cp dyp2gram.pl $(BINDIR)
-	chmod +x $(BINDIR)/dyp2gram.pl
-	cd dyplib; $(MAKE) install
+	mkdir -p $(DESTDIR)$(BINDIR)
+	cp dypgen/dypgen $(DESTDIR)$(BINDIR)/dypgen.ml
+	cp dyp2gram.pl $(DESTDIR)$(BINDIR)
+	chmod +x $(DESTDIR)$(BINDIR)/dyp2gram.pl
+	cd dyplib; $(MAKE) install DESTDIR=$(DESTDIR)
 
 install2: install_opt
 	mkdir -p $(BINDIR)
@@ -35,8 +35,8 @@
 
 ifdef CAMLOPT
 install_opt:
-	mkdir -p $(BINDIR)
-	cp dypgen/dypgen.opt $(BINDIR)
+	mkdir -p $(DESTDIR)$(BINDIR)
+	cp dypgen/dypgen.opt $(DESTDIR)$(BINDIR)
 else
 install_opt:
 endif