<pre style='margin:0'>
Landon Fuller (landonf) pushed a commit to branch master
in repository macports-ports.
</pre>
<p><a href="https://github.com/macports/macports-ports/commit/c9df50e5a84518fa267401e1123139574c1d9082">https://github.com/macports/macports-ports/commit/c9df50e5a84518fa267401e1123139574c1d9082</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit c9df50e5a84518fa267401e1123139574c1d9082
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Thu Jun 9 17:28:50 2022 -0600
<span style='display:block; white-space:pre;color:#404040;'> fstar|kremlin: update to 2022.06.08|2022.06.08
</span>---
lang/fstar/Portfile | 49 +++++++++++++---------
lang/fstar/files/fstar/patch-z3-path | 4 +-
.../fstar/files/kremlin/patch-clang-driver-options | 6 +--
lang/fstar/files/kremlin/patch-fstar-discover-path | 28 ++++++-------
lang/fstar/files/kremlin/patch-fstar-driver-no-lax | 6 +--
.../fstar/files/kremlin/patch-kremlib-march-native | 11 -----
6 files changed, 51 insertions(+), 53 deletions(-)
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/fstar/Portfile b/lang/fstar/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index ea68992539c..6564fba47d1 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/fstar/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/fstar/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -58,8 +58,8 @@ if {${subport} eq "fstar" || ${subport} eq "kremlin"} {
</span> }
subport fstar {
<span style='display:block; white-space:pre;background:#ffe0e0;'>- github.setup FStarLang FStar 356fb200d7e6a1d2ccc689073752400227160ba9
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- version 2021.09.02
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ github.setup FStarLang FStar 34320b047539629c53debda640c50b97d6e556fd
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ version 2022.06.08
</span> epoch 1
license MIT
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -73,9 +73,9 @@ subport fstar {
</span> be extracted to efficient OCaml, F#, C, WASM, or ASM \
code.
<span style='display:block; white-space:pre;background:#ffe0e0;'>- checksums rmd160 250761afdfbd099094a01d740789fb0c7d069855 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha256 391c4334c68c7cc13c9e01df83504569c6a07a7bb2ee62223d4237cac74f2363 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- size 8187909
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ checksums rmd160 d2d10d63648d67da5f25c13a1893c6519cd6f3cb \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 cd3ce5281fe6f1dcf155ee0e83417c9a52c406039b7ebf801ed7f5abf2ed1252 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ size 8159524
</span> github.tarball_from archive
# destroot requires ginstall from coreutils
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -102,6 +102,14 @@ subport fstar {
</span> reinplace -E "s|@PREFIX@|${prefix}|g" \
src/basic/ml/FStar_Compiler_Util.ml
<span style='display:block; white-space:pre;background:#e0ffe0;'>+ # Fix invalid use of (now-removed) `FSTAR_ALWAYS`
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ reinplace {s|\$(FSTAR_ALWAYS)|$(FSTAR)|g} \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ examples/crypto/Makefile
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ # Don't try to use `git` to fetch the commit
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ reinplace "s|^COMMIT =.*|COMMIT = ${git.branch}|g" \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ src/ocaml-output/Makefile
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> # Fix up the z3 path in the generated code, too.
#
# A patch file would be more of a headache here, as the autogenerated variable names
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -133,7 +141,8 @@ subport fstar {
</span> depends_test port:${kremlin.port}
test.run yes
test.env FSTAR_HOME=${worksrcpath} \
<span style='display:block; white-space:pre;background:#ffe0e0;'>- KREMLIN_HOME=${kremlin.home}/home
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ KREMLIN_HOME=${kremlin.home}/home \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ KRML_HOME=${kremlin.home}/home
</span> test.dir ${worksrcpath}
test.target all
test.args -C examples \
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -184,17 +193,17 @@ subport fstar {
</span> }
subport kremlin {
<span style='display:block; white-space:pre;background:#ffe0e0;'>- github.setup FStarLang kremlin 3e502374c9afd018dcd062556eb02203dfad1923
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- version 2021.08.24
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ github.setup FStarLang kremlin 28a9d4a64fbbdcd1fe12c07e65d4b82e63bb5106
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ version 2022.06.08
</span> epoch 1
license Apache-2
description A tool for extracting low-level F* programs to readable C code
long_description KreMLin is a tool that extracts an F* program to readable C code.
<span style='display:block; white-space:pre;background:#ffe0e0;'>- checksums rmd160 38dd175b306f8a070e930c69e8eb956b52f20c9c \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha256 f5e9e3ad7a9bc48ba11669fe35da1da420f1776e51935234e0d49f597b319330 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- size 895587
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ checksums rmd160 6316b264b4aec908e452ccec8377a7148d753961 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 63d1444da6361dfe2f2ca7a555eab3265f06eede4d1b718bcd032d7054cb1667 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ size 902280
</span> github.tarball_from archive
compiler.c_standard 2011
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -213,7 +222,6 @@ subport kremlin {
</span> patchfiles kremlin/patch-clang-driver-options \
kremlin/patch-fstar-discover-path \
kremlin/patch-fstar-driver-no-lax \
<span style='display:block; white-space:pre;background:#ffe0e0;'>- kremlin/patch-kremlib-march-native \
</span> kremlin/patch-test_system_system.h
kremlin.bin krml
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -241,10 +249,10 @@ subport kremlin {
</span> # allows us to run krml in-place (e.g. for tests)
build.args CC=${configure.cc} \
FSTAR_HOME=${fstar.home}/home \
<span style='display:block; white-space:pre;background:#ffe0e0;'>- KREMLIN_HOME=${worksrcpath}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ KRML_HOME=${worksrcpath}
</span>
build.env-append PATH=${workpath}/compiler-bin:$env(PATH) \
<span style='display:block; white-space:pre;background:#ffe0e0;'>- "KREMLIN_ARGS=-cc ${kremlin.cc}"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ "KRML_ARGS=-cc ${kremlin.cc}"
</span>
post-patch {
file mkdir "${workpath}/compiler-bin"
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -267,7 +275,7 @@ subport kremlin {
</span>
destroot.args PREFIX=${destroot}${kremlin.home} \
FSTAR_HOME=${fstar.home}/home \
<span style='display:block; white-space:pre;background:#ffe0e0;'>- KREMLIN_HOME=${worksrcpath}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ KRML_HOME=${worksrcpath}
</span>
post-destroot {
# KreMLin-specific cleanup up the installed files.
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -290,11 +298,12 @@ subport kremlin {
</span> set kremlin_compat_home ${destroot}${kremlin.home}/home
xinstall -d -m 755 ${kremlin_compat_home}
foreach {kremlin_src kremlin_dest} {
<span style='display:block; white-space:pre;background:#ffe0e0;'>- lib/kremlin kremlib
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- lib/kremlin/runtime runtime
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ lib/krml kremlib
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ lib/krml krmllib
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ lib/krml/runtime runtime
</span> include include
bin/krml krml
<span style='display:block; white-space:pre;background:#ffe0e0;'>- share/kremlin/misc misc
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ share/krml/misc misc
</span> } {
ln -shf \
../${kremlin_src} \
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -304,10 +313,10 @@ subport kremlin {
</span>
notes "
To use this KreMLin toolchain with most standard Makefile-based F*/KreMLin projects,
<span style='display:block; white-space:pre;background:#ffe0e0;'>- pass KREMLIN_HOME to the build as either an environmental variable,
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ pass KRML_HOME to the build as either an environmental variable,
</span> or make(1) parameter:
<span style='display:block; white-space:pre;background:#ffe0e0;'>- KREMLIN_HOME=\"${kremlin.home}/home\"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ KRML_HOME=\"${kremlin.home}/home\"
</span>
"
}
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/fstar/files/fstar/patch-z3-path b/lang/fstar/files/fstar/patch-z3-path
</span><span style='display:block; white-space:pre;color:#808080;'>index 9d05316abf9..6f4dec38531 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/fstar/files/fstar/patch-z3-path
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/fstar/files/fstar/patch-z3-path
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,5 +1,5 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- src/basic/FStar.Options.fs.orig 2019-08-28 18:32:49.000000000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ src/basic/FStar.Options.fs 2019-08-28 18:33:08.000000000 -0600
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- src/basic/FStar.Options.fst.orig 2019-08-28 18:32:49.000000000 -0600
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ src/basic/FStar.Options.fst 2019-08-28 18:33:08.000000000 -0600
</span> @@ -1559,7 +1559,7 @@
| _ -> false
let warn_default_effects () = get_warn_default_effects ()
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/fstar/files/kremlin/patch-clang-driver-options b/lang/fstar/files/kremlin/patch-clang-driver-options
</span><span style='display:block; white-space:pre;color:#808080;'>index 26de2a1baab..16b8798d21c 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/fstar/files/kremlin/patch-clang-driver-options
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/fstar/files/kremlin/patch-clang-driver-options
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,6 +1,6 @@
</span> --- src/Options.ml.orig 2019-08-20 08:05:43.000000000 -0600
+++ src/Options.ml 2019-09-09 11:04:27.000000000 -0600
<span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -20,7 +20,7 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -27,7 +27,7 @@
</span> let verbose = ref false
let silent = ref false
let exe_name = ref ""
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -9,10 +9,10 @@
</span> let m32 = ref false
let fsopts: string list ref = ref []
let ccopts: string list ref = ref []
<span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -74,16 +74,24 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -86,16 +86,24 @@
</span> "-ccopts";
"-Wall,-Werror,-Wno-unused-variable," ^
<span style='display:block; white-space:pre;background:#ffe0e0;'>- "-Wno-unknown-warning-option,-Wno-unused-but-set-variable," ^
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ "-Wno-unknown-warning-option,-Wno-unused-but-set-variable,-Wno-unused-function," ^
</span> - "-g,-fwrapv,-D_BSD_SOURCE,-D_DEFAULT_SOURCE" ^
+ "-g,-fwrapv," ^
(if Sys.os_type = "Win32" then ",-D__USE_MINGW_ANSI_STDIO" else "") ^
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/fstar/files/kremlin/patch-fstar-discover-path b/lang/fstar/files/kremlin/patch-fstar-discover-path
</span><span style='display:block; white-space:pre;color:#808080;'>index 324034b9b36..e78dc02f4ae 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/fstar/files/kremlin/patch-fstar-discover-path
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/fstar/files/kremlin/patch-fstar-discover-path
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -3,13 +3,13 @@
</span> @@ -52,6 +52,7 @@
let fstar_options = ref []
<span style='display:block; white-space:pre;background:#ffe0e0;'>- (** By [detect_kremlin] *)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ (** By [detect_karamel] *)
</span> +let bin_dir = ref ""
<span style='display:block; white-space:pre;background:#ffe0e0;'>- let kremlib_dir = ref ""
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ let krmllib_dir = ref ""
</span> let runtime_dir = ref ""
let include_dir = ref ""
@@ -145,6 +146,16 @@
<span style='display:block; white-space:pre;background:#ffe0e0;'>- let detect_kremlin () =
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ let detect_karamel () =
</span> detect_base_tools_if ();
+ let real_krml =
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -22,12 +22,12 @@
</span> + in
+ bin_dir := Filename.dirname (real_krml);
+
<span style='display:block; white-space:pre;background:#ffe0e0;'>- if AutoConfig.kremlib_dir <> "" then begin
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- kremlib_dir := AutoConfig.kremlib_dir;
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ if AutoConfig.krmllib_dir <> "" && try ignore (Sys.getenv "KRML_HOME"); false with Not_found -> true then begin
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ krmllib_dir := AutoConfig.krmllib_dir;
</span> runtime_dir := AutoConfig.runtime_dir;
@@ -159,18 +170,10 @@
begin try
<span style='display:block; white-space:pre;background:#ffe0e0;'>- Sys.getenv "KREMLIN_HOME"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ Sys.getenv "KRML_HOME"
</span> with Not_found -> try
- let real_krml =
- let me = Sys.argv.(0) in
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -37,9 +37,9 @@
</span> - try read_one_line !readlink [| "-f"; read_one_line "which" [| me |] |]
- with _ -> fatal_error "Could not compute full krml path"
- in
<span style='display:block; white-space:pre;background:#ffe0e0;'>- (* ../_build/src/Kremlin.native *)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ (* ../_build/src/Karamel.native *)
</span> if not !Options.silent then
<span style='display:block; white-space:pre;background:#ffe0e0;'>- KPrint.bprintf "%sthe Kremlin executable is:%s %s\n" Ansi.underline Ansi.reset real_krml;
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ KPrint.bprintf "%sthe Karamel executable is:%s %s\n" Ansi.underline Ansi.reset real_krml;
</span> - read_one_line !readlink [| "-f"; d real_krml ^^ ".." ^^ ".." |]
+ read_one_line !readlink [| "-f"; d real_krml ^^ ".." |]
with _ ->
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -49,21 +49,21 @@
</span> Sys.chdir cwd
end;
<span style='display:block; white-space:pre;background:#ffe0e0;'>-- kremlib_dir := krml_home ^^ "kremlib";
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+- krmllib_dir := krml_home ^^ "krmllib";
</span> - runtime_dir := krml_home ^^ "runtime";
- include_dir := krml_home ^^ "include";
- misc_dir := krml_home ^^ "misc"
<span style='display:block; white-space:pre;background:#ffe0e0;'>-+ if try Sys.is_directory (krml_home ^^ "kremlib") with Sys_error _ -> false; then begin
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ if try Sys.is_directory (krml_home ^^ "krmllib") with Sys_error _ -> false; then begin
</span> + if not !Options.silent then
+ KPrint.bprintf "Detected source layout in KreMLin home\n";
<span style='display:block; white-space:pre;background:#ffe0e0;'>-+ kremlib_dir := krml_home ^^ "kremlib";
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ krmllib_dir := krml_home ^^ "krmllib";
</span> + runtime_dir := krml_home ^^ "runtime";
+ include_dir := krml_home ^^ "include";
+ misc_dir := krml_home ^^ "misc"
+ end else begin
<span style='display:block; white-space:pre;background:#ffe0e0;'>-+ kremlib_dir := krml_home ^^ "lib" ^^ "kremlin";
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+ runtime_dir := !kremlib_dir ^^ "runtime";
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ krmllib_dir := krml_home ^^ "lib" ^^ "kremlin";
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ runtime_dir := !krmllib_dir ^^ "runtime";
</span> + include_dir := krml_home ^^ "include";
+ misc_dir := krml_home ^^ "share" ^^ "kremlin" ^^ "misc"
+ end;
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -89,4 +89,4 @@
</span> + fatal_error "Did not find fstar in %s and FSTAR_HOME is not set" !bin_dir
end;
<span style='display:block; white-space:pre;background:#ffe0e0;'>- if KString.exists !fstar_home "opam"; then begin
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ let fstar_ulib = !fstar_home ^^ "ulib" in
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/fstar/files/kremlin/patch-fstar-driver-no-lax b/lang/fstar/files/kremlin/patch-fstar-driver-no-lax
</span><span style='display:block; white-space:pre;color:#808080;'>index 18e5bf68347..81b7278001f 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/fstar/files/kremlin/patch-fstar-driver-no-lax
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/fstar/files/kremlin/patch-fstar-driver-no-lax
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -4,9 +4,9 @@
</span> else
let args =
"--odir" :: !Options.tmpdir ::
<span style='display:block; white-space:pre;background:#ffe0e0;'>-- "--codegen" :: "Kremlin" ::
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+- "--codegen" :: "krml" ::
</span> - "--lax" :: args
<span style='display:block; white-space:pre;background:#ffe0e0;'>-+ "--codegen" :: "Kremlin" :: args
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ "--codegen" :: "krml" :: args
</span> in
flush stdout;
<span style='display:block; white-space:pre;background:#ffe0e0;'>- mk_tmpdir_if ();
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ maybe_create_output_dir ();
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/fstar/files/kremlin/patch-kremlib-march-native b/lang/fstar/files/kremlin/patch-kremlib-march-native
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index b5e5d472383..00000000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/fstar/files/kremlin/patch-kremlib-march-native
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,11 +0,0 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- kremlib/Makefile.orig 2021-05-10 20:56:05.000000000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ kremlib/Makefile 2021-05-10 20:56:42.000000000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -149,7 +149,7 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- # Compilation, only works after the stage above has run and C files exist #
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- ################################################################################
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--CFLAGS += -O3 -march=native -mtune=native
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+CFLAGS += -O3
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- export CFLAGS
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- compile-all: compile-dist-generic $(MINI_DIR)/Makefile.include $(UINT128_DIR)/Makefile.include
</span></pre><pre style='margin:0'>
</pre>