File: Makefile

package info (click to toggle)
facile 1.1.1-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 656 kB
  • ctags: 1,283
  • sloc: ml: 6,848; makefile: 127; sh: 21
file content (27 lines) | stat: -rw-r--r-- 968 bytes parent folder | download | duplicates (3)
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