Qed/Makefile at master · lambdaxdotx/Qed · GitHub

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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
##########################################################################
#                                                                        #
#  This file is part of Qed Library                                      #
#                                                                        #
#  Copyright (C) 2007-2016                                               #
#    CEA (Commissariat à l'énergie atomique et aux énergies              #
#         alternatives)                                                  #
#                                                                        #
#  you can redistribute it and/or modify it under the terms of the GNU   #
#  Lesser General Public License as published by the Free Software       #
#  Foundation, version 2.1.                                              #
#                                                                        #
#  It is distributed in the hope that it will be useful,                 #
#  but WITHOUT ANY WARRANTY; without even the implied warranty of        #
#  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         #
#  GNU Lesser General Public License for more details.                   #
#                                                                        #
#  See the GNU Lesser General Public License version 2.1                 #
#  for more details (enclosed in the file licenses/LGPLv2.1).            #
#                                                                        #
##########################################################################

.PHONY: all help build install doc

all: build

help:
	@echo "-- Qed"
	@echo ""
	@echo "  make build     compile the library"
	@echo "  make install   install the library"
	@echo "  make uninstall uninstall the library"
	@echo "  make doc       generate documentation"
	@echo "  make clean     remove generated files"
	@echo "  make headers   normalize files"

# --------------------------------------------------------------------------
# ---  Build                                                             ---
# --------------------------------------------------------------------------

PKG=qed
NAME=Qed
JOBS?= -j 4
DEPENDS=
FLAGS=  -use-ocamlfind $(JOBS) \
	-cflags -w,PSUZL+7,-warn-error,PSUZL+7 \
	-cflags -for-pack,$(NAME)

TARGETS= src/$(PKG).cmo src/$(PKG).cmx

build:
	@echo "Build Qed."
	@ocamlbuild $(DEPENDS) $(FLAGS) $(TARGETS)

# --------------------------------------------------------------------------
# --- Documentation
# --------------------------------------------------------------------------

doc: src/$(PKG).odocl
	@echo "Generating '$(NAME)' documentation"
	@ocamlbuild $(DEPENDS) $(FLAGS) \
		-docflag -t -docflag "$(NAME) Library" \
		-docflag -short-functors \
		src/$(PKG).docdir/index.html
	@cp -f ceatech.css _build/src/$(PKG).docdir/style.css
	@echo "Documentation at $(PWD)/qed.docdir/index.html"

src/$(PKG).odocl: src/$(PKG).mlpack
	@rm -f $@
	@cp $< $@
	@chmod a-w $@

# --------------------------------------------------------------------------
# ---  Install                                                           ---
# --------------------------------------------------------------------------

install:
	@echo "Install Qed."
	@if [ -e $(shell ocamlfind printconf destdir)/$(PKG) ] ;\
	 then ocamlfind remove $(PKG) ; fi
	@ocamlfind install $(PKG) META _build/src/$(PKG).cm* _build/src/$(PKG).o

uninstall:
	@echo "Uninstall Qed."
	@ocamlfind remove $(PKG)

# --------------------------------------------------------------------------

clean:
	@echo "Cleaning"
	@rm -f src/$(PKG).odocl src/*~
	@ocamlbuild -clean

headers:
	headache -c licenses/header.config -h licenses/HEADER \
		src/*.ml src/*.ml[iyl] Makefile
	ocp-indent -i src/*.ml src/*.mli