From ae9b2131c1d1dc68a5c29a89e7346e97397dda34 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Thu, 29 Apr 2021 13:06:50 +0200 Subject: [PATCH] chore: reset prefer_native --- nix/bootstrap.nix | 2 +- src/stdlib.make.in | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/nix/bootstrap.nix b/nix/bootstrap.nix index f5a8a6c056..4fefad1773 100644 --- a/nix/bootstrap.nix +++ b/nix/bootstrap.nix @@ -72,7 +72,7 @@ rec { src = ../src; fullSrc = ../.; inherit debug; - leanFlags = [ "-Dinterpreter.prefer_native=true" ]; + leanFlags = [ "-Dinterpreter.prefer_native=false" ]; }); in (all: all // all.lean) rec { Init = build { name = "Init"; deps = []; }; diff --git a/src/stdlib.make.in b/src/stdlib.make.in index d055530d60..0488c50c2b 100644 --- a/src/stdlib.make.in +++ b/src/stdlib.make.in @@ -14,7 +14,7 @@ LEANMAKE_OPTS=\ LIB_OUT="${LIB}/lean"\ OLEAN_OUT="${LIB}/lean"\ BIN_OUT="${CMAKE_BINARY_DIR}/bin"\ - LEAN_OPTS+="${LEAN_EXTRA_MAKE_OPTS} -Dinterpreter.prefer_native=true"\ + LEAN_OPTS+="${LEAN_EXTRA_MAKE_OPTS} -Dinterpreter.prefer_native=false"\ LEANC_OPTS+="${LEANC_OPTS}"\ LEAN_CXX="${CMAKE_CXX_COMPILER_LAUNCHER} ${CMAKE_CXX_COMPILER}"\ MORE_DEPS+="${PREV_STAGE}/bin/lean${CMAKE_EXECUTABLE_SUFFIX}"\