From c0026e74f3b088d18e5f12f43b63d5567d360d53 Mon Sep 17 00:00:00 2001
From: Michael Reed <18372368+chakravala@users.noreply.github.com>
Date: Sat, 19 Jan 2019 16:09:20 -0500
Subject: [PATCH] changed default behavior of precompilation script

---
 README.md     | 2 +-
 src/Reduce.jl | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 52e161b..17b382d 100644
--- a/README.md
+++ b/README.md
@@ -51,7 +51,7 @@ julia> Pkg.add("Reduce"); Pkg.build("Reduce")
 julia> using Reduce
 Reduce (Free CSL version, revision 4521),  11-March-2018 ...
 ```
-For linux users who wish to speed up frequent precompilation, it is possible to disable extra precompilation scripts by setting the environment variable `ENV["REDPRE"] = "0"` in julia (only effective when `Reduce` is being compiled).
+For users who wish to experimentally apply additional precompilation, it is possible to enable extra precompilation scripts by setting the environment variable `ENV["REDPRE"] = "1"` in julia (only effective when `Reduce` is being compiled).
 
 View the documentation [stable](https://chakravala.github.io/Reduce.jl/stable) / [latest](https://chakravala.github.io/Reduce.jl/latest) for more features and examples.
 
diff --git a/src/Reduce.jl b/src/Reduce.jl
index 96b7f74..13e1898 100644
--- a/src/Reduce.jl
+++ b/src/Reduce.jl
@@ -320,10 +320,10 @@ function Load()
     return nothing
 end
 
-global preload = Sys.islinux() ? true : false
+global preload = false
 try
     global preload
-    (ENV["REDPRE"] == "0") && (preload = false)
+    (ENV["REDPRE"] ≠ "0") && (preload = true)
 catch
 end
 preload && include("precomp.jl")