Add global package directory to search paths

idris-community · Feb 12, 2024 · 0245a41 · 0245a41
1 parent a77ef2d
commit 0245a41
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/Server/Main.idr b/src/Server/Main.idr
@@ -5,6 +5,7 @@ module Server.Main
 
 import Core.Context
 import Core.Core
+import Core.Directory
 import Core.InitPrimitives
 import Core.Metadata
 import Core.UnifyState
@@ -182,6 +183,7 @@ startServer =
                                   Just cg => setCG cg
                                   Nothing => throw (InternalError ("Unknown code generator " ++ show e))
                    Nothing => pure ()
+              addPackageSearchPath !pkgGlobalDirectory
               addPkgDir "prelude" anyBounds
               addPkgDir "base" anyBounds
               addDataDir (prefix_dir (dirs (options defs)) </> ("idris2-" ++ showVersion False Idris.Version.version) </> "support")