--- facile-1.1/Makefile.orig	2007-07-03 16:12:23.000000000 -0300
+++ facile-1.1/Makefile	2007-07-03 16:13:33.000000000 -0300
@@ -6,18 +6,18 @@
 	cd src; make
 
 install:
-	if test -d $(FACILEDIR); then : ; else mkdir $(FACILEDIR); fi
-	cp src/facile.cmi src/facile.cma src/facile.cmxa src/facile.a $(FACILEDIR)
-	chmod a+r $(FACILEDIR)/facile.cmi
-	chmod a+r $(FACILEDIR)/facile.cma
-	chmod a+r $(FACILEDIR)/facile.cmxa
-	chmod a+r $(FACILEDIR)/facile.a
+	if test -d $(DESTDIR)/$(FACILEDIR); then : ; else mkdir -p $(DESTDIR)/$(FACILEDIR); fi
+	cp src/facile.cmi src/facile.cma src/facile.cmxa src/facile.a $(DESTDIR)/$(FACILEDIR)
+	chmod a+r $(DESTDIR)/$(FACILEDIR)/facile.cmi
+	chmod a+r $(DESTDIR)/$(FACILEDIR)/facile.cma
+	chmod a+r $(DESTDIR)/$(FACILEDIR)/facile.cmxa
+	chmod a+r $(DESTDIR)/$(FACILEDIR)/facile.a
 
 clean:
 	cd src; make clean
 
 distclean uninstall:
-	rm -fr $(FACILEDIR)
+	rm -fr $(DESTDIR)/$(FACILEDIR)
 
 check:
 	cd examples; make FACILEDIR=../src queens.opt; ./queens.opt 8