Mise à jour terminée. Pour connaître les apports de la version 13.8.4 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :
https://about.gitlab.com/releases/2021/02/11/security-release-gitlab-13-8-4-released/
https://about.gitlab.com/releases/2021/02/05/gitlab-13-8-3-released/

GNUmakefile 652 Bytes
Newer Older
1 2
# This is a development Makefile, which is not shipped.

fpottier's avatar
fpottier committed
3
.PHONY: api clean
4 5 6

-include Makefile

fpottier's avatar
fpottier committed
7
# ----------------------------------------------------------------------------
8
# When developing, the standard library path is the current directory.
9
# ocamlfind is assumed.
10 11 12

installation.ml:
	echo "let libdir = \""`pwd`"/\"" > $@
13
	echo "let ocamlfind = true" >> $@
14

fpottier's avatar
fpottier committed
15
# ----------------------------------------------------------------------------
16 17
# Pretty-printing the MenhirLib.Convert API.

POTTIER Francois's avatar
POTTIER Francois committed
18
api: convert.mli.html IncrementalEngine.ml.html general.mli.html
19 20 21 22

%.mli.html: %.mli
	caml2html -nf $<

23 24 25
%.ml.html: %.ml
	caml2html -nf $<

26
clean::
fpottier's avatar
fpottier committed
27
	rm -f *.mli.html
28