1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
# $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
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
clean:
cd src; make clean
distclean uninstall:
rm -fr $(FACILEDIR)
check:
cd examples; make FACILEDIR=../src queens.opt; ./queens.opt 8
|
