From: Andrei Tatar <andrei@unikraft.io>
Date: Wed, 12 Jul 2023 09:43:11 +0000 (+0200)
Subject: Config.uk: Remove hard select of UKMMAP
X-Git-Tag: RELEASE-0.14.0~3
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=56709ec6f518405dccba48dc596b6767515e067f;p=unikraft%2Flibs%2Fcompiler-rt.git

Config.uk: Remove hard select of UKMMAP

Replace the hard `select' on UKMMAP with an `imply', so one can select
alternative mmap implemenations.

Signed-off-by: Andrei Tatar <andrei@unikraft.io>
Reviewed-by: Maria Sfiraiala <maria.sfiraiala@gmail.com>
Reviewed-by: Stefan Jumarea <stefanjumarea02@gmail.com>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #16
---

diff --git a/Config.uk b/Config.uk
index 7b4ac80..2970f8b 100644
--- a/Config.uk
+++ b/Config.uk
@@ -1,7 +1,7 @@
 menuconfig LIBCOMPILER_RT
     bool "compiler-rt - runtime support"
     select LIBPOSIX_SYSINFO
-    select LIBUKMMAP
+    imply LIBUKMMAP
     select LIBUNWIND
     default n