-
Notifications
You must be signed in to change notification settings - Fork 5
/
Makefile
50 lines (37 loc) · 1.06 KB
/
Makefile
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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
-include Makefile.local
include Makefile.config
BINDIR ?= /usr/local/bin
INSTALL ?= install
OCAMLDUCE ?= NO
SRCROOT ?= ../src
LWT_DIR ?= ${SRCROOT}/lwt
JS_OF_OCAML_DIR ?= ${SRCROOT}/js_of_ocaml
SERVER_DIR ?= ${SRCROOT}/ocsigenserver
ELIOM_DIR ?= ${SRCROOT}/eliom
OCLOSURE_DIR ?= ${SRCROOT}/oclosure
MACAQUE_DIR ?= ${SRCROOT}/macaque
TUTORIAL_DIR ?= ${SRCROOT}/tutorial
TYXML_DIR ?= ${SRCROOT}/tyxml
OCAMLFIND ?= ocamlfind
OCAMLC ?= ${OCAMLFIND} ocamlc
OCAMLOPT ?= ${OCAMLFIND} ocamlopt
OCAMLDEP ?= ${OCAMLFIND} ocamldep
OCAMLDOC ?= ${OCAMLFIND} ocamldoc
OCAMLLEX ?= ocamllex
ifeq "${OCAMLDUCE}" "YES"
OCAMLDUCEFIND ?= ocamlducefind
OCAMLDUCEC ?= ${OCAMLDUCEFIND} ocamlc
OCAMLDUCEOPT ?= ${OCAMLDUCEFIND} ocamlopt
OCAMLDUCEDEP ?= ${OCAMLDUCEFIND} ocamldep
OCAMLDUCEDOC ?= ${OCAMLDUCEFIND} ocamldoc
else
OCAMLDUCEDOC ?= ${OCAMLFIND} ocamldoc
endif
include Makefile.odoc
include Makefile.book
###
clean::
-find -name \*~ -delete
distclean:: clean
-rm -rf wiki tex
reinstall:: uninstall install