Add global package directory to search paths (and update Idris2 submo…

…dule) (#215)

* Add global package directory to search paths

* update Idris2 refs

* This should get the additional PACKAGE_PATH loaded up into the correct spot.

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
@@ -174,14 +175,15 @@ startServer =
                    Nothing => pure ()
               pdirs <- coreLift $ idrisGetEnv "IDRIS2_PACKAGE_PATH"
               the (Core ()) $ case pdirs of
-                   Just path => do traverseList1_ addPackageDir (map trim (split (==pathSeparator) path))
+                   Just path => do traverseList1_ addPackageSearchPath (map trim (split (==pathSeparator) path))
                    Nothing => pure ()
               cg <- coreLift $ idrisGetEnv "IDRIS2_CG"
               the (Core ()) $ case cg of
                    Just e => case getCG (options defs) e of
                                   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")