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
|
.PHONY: help release dev dev-all nopromote opam clean dev-ci-windows dev-ci-osx
help:
@echo "Welcome to lablgtk Dune-based build system. Targets are"
@echo ""
@echo " - release: build lablgtk package in release mode"
@echo " - dev: build in developer mode [requires extra dependencies]"
@echo " - dev-all: build in developer mode [requires extra dependencies]"
@echo " - nopromote: dev build but without re-running camlp5 generation"
@echo " - opam: internal, used in CI testing"
@echo " - clean: clean build tree"
@echo ""
@echo "WARNING: Packagers should not use this makefile, but call dune"
@echo "directly with the right options for their distribution, see README"
release:
dune build -p lablgtk3
dev:
dune build
dev-ci-osx:
echo "(dirs :standard \ src-goocanvas2)" >> dune
dune build
dev-ci-windows:
echo "(dirs :standard \ src-goocanvas2 src-gtkspell3)" >> dune
dune build
# This also builds examples, will be the default once we set (lang dune 2.0)
dev-all:
dune build @all
nopromote:
dune build @all --ignore-promoted-rules
# We first pin lablgtk3 as to avoid problems with parallel make
opam:
opam pin add lablgtk3 . --kind=path -y
opam install lablgtk3
opam pin add lablgtk3-sourceview3 . --kind=path -y
opam install lablgtk3-sourceview3
opam pin add lablgtk3-gtkspell3 . --kind=path -y
opam install lablgtk3-gtkspell3
opam pin add lablgtk3-goocanvas2 . --kind=path -y
opam install lablgtk3-goocanvas2
clean:
dune clean
|
