Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / omake
Commits:
-
faffab80
by Stéphane Glondu at 2023-02-01T12:09:58+01:00
-
7699b9bc
by Stéphane Glondu at 2023-02-01T12:26:17+01:00
3 changed files:
- debian/changelog
- + debian/patches/0001-Fix-FTBFS-when-ocamlopt-is-missing.patch
- + debian/patches/series
Changes:
1 | +omake (0.10.5-2) unstable; urgency=medium
|
|
2 | + |
|
3 | + * Team upload
|
|
4 | + * Fix FTBFS when ocamlopt is missing
|
|
5 | + |
|
6 | + -- Stéphane Glondu <glondu@debian.org> Wed, 01 Feb 2023 12:26:13 +0100
|
|
7 | + |
|
1 | 8 | omake (0.10.5-1) unstable; urgency=medium
|
2 | 9 | |
3 | 10 | [ Stéphane Glondu ]
|
1 | +From: =?utf-8?q?St=C3=A9phane_Glondu?= <steph@glondu.net>
|
|
2 | +Date: Wed, 1 Feb 2023 12:09:24 +0100
|
|
3 | +Subject: Fix FTBFS when ocamlopt is missing
|
|
4 | + |
|
5 | +Bug: https://github.com/ocaml-omake/omake/issues/154
|
|
6 | +---
|
|
7 | + OMakefile | 24 +-----------------------
|
|
8 | + 1 file changed, 1 insertion(+), 23 deletions(-)
|
|
9 | + |
|
10 | +diff --git a/OMakefile b/OMakefile
|
|
11 | +index b283f13..ad0c525 100644
|
|
12 | +--- a/OMakefile
|
|
13 | ++++ b/OMakefile
|
|
14 | +@@ -79,29 +79,7 @@ if $(THREADS_ENABLED)
|
|
15 | + OCAMLFLAGS += -thread
|
|
16 | + export
|
|
17 | +
|
|
18 | +-compiler_config(a_compiler) =
|
|
19 | +- config = $(Map)
|
|
20 | +- foreach(key_value_line => ..., $(shella $(a_compiler) -config))
|
|
21 | +- export config
|
|
22 | +- lex($(open-in-string $(key_value_line)))
|
|
23 | +- case $'^\([^:]*\):[[:blank:]]*\(.*\)$'
|
|
24 | +- export config
|
|
25 | +- config = $(config.add $1, $2)
|
|
26 | +- return $(config)
|
|
27 | +-
|
|
28 | +-static. =
|
|
29 | +- OCAMLOPT_CONFIG = $(compiler_config $(OCAMLOPT))
|
|
30 | +- OCAMLOPT_OPTIMIZER_FLAGS[] =
|
|
31 | +- ConfMsgChecking($'if ocamlopt was compiled with flambda')
|
|
32 | +- if $(and $(OCAMLOPT_CONFIG.mem flambda), $(equal $(OCAMLOPT_CONFIG.find flambda), true))
|
|
33 | +- ConfMsgResult($'yes')
|
|
34 | +- OCAMLOPT_OPTIMIZER_FLAGS[] = -O3
|
|
35 | +- export
|
|
36 | +- else
|
|
37 | +- ConfMsgResult($'no')
|
|
38 | +-
|
|
39 | +-OCAMLOPTFLAGS[] = $(OCAMLFLAGS) $(OCAMLOPT_OPTIMIZER_FLAGS)
|
|
40 | +-
|
|
41 | ++OCAMLOPTFLAGS[] = $(OCAMLFLAGS)
|
|
42 | +
|
|
43 | + #
|
|
44 | + # Support for profiling |
1 | +0001-Fix-FTBFS-when-ocamlopt-is-missing.patch |