1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
# $Id: release_Makefile,v 1.7 2003/05/15 09:13:16 brisset Exp $
include config_Makefile
compile:
cd src; make
install:
if test -d $(FACILEDIR); then : ; else mkdir $(FACILEDIR); fi
install -m 644 src/*.mli $(FACILEDIR)
if [ -e src/facile.cmi ] ; then cp src/facile.cmi $(FACILEDIR) ; fi
if [ -e src/facile.cma ] ; then cp src/facile.cma $(FACILEDIR) ; fi
if [ -e src/facile.a ] ; then cp src/facile.a $(FACILEDIR) ; fi
if [ -e src/facile.cmxa ] ; then cp src/facile.cmxa $(FACILEDIR) ; fi
if [ -e $(FACILEDIR)/facile.cmi ] ; then chmod a+r $(FACILEDIR)/facile.cmi ; fi
if [ -e $(FACILEDIR)/facile.cma ] ; then chmod a+r $(FACILEDIR)/facile.cma ; fi
if [ -e $(FACILEDIR)/facile.cmxa ] ; then chmod a+r $(FACILEDIR)/facile.cmxa ; fi
if [ -e $(FACILEDIR)/facile.a ] ; then chmod a+r $(FACILEDIR)/facile.a ; fi
clean:
cd src; make clean
distclean uninstall:
rm -fr $(FACILEDIR)
check:
cd examples; $(MAKE) FACILEDIR=../src queens.out && ./queens.out 8
|
