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 |