1 files changed, 6 insertions, 1 deletions
diff --git a/config/nimrod.cfg b/config/nimrod.cfg
index c1ad11380..4927bd455 100755
--- a/config/nimrod.cfg
+++ b/config/nimrod.cfg
@@ -8,7 +8,12 @@
 # Environment variables cannot be used in the options, however!
 
 cc = gcc
-#lib="" # default can be overridden here
+
+@if nim: 
+  # use the old fixed library for bootstrapping with Nim:
+  lib = "nimlib"
+@end
+
 path="$lib/pure"
 path="$lib/impure"
 path="$lib/wrappers"