changed default behavior of precompilation script

chakravala · Jan 19, 2019 · c0026e7 · c0026e7
1 parent ea9e244
commit c0026e7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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")