FFI: Canonicalize module path for finding dylib

GaloisInc · Aug 5, 2022 · 9efd822 · 9efd822
1 parent 65cb428
commit 9efd822
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/Cryptol/Eval/FFI.hs b/src/Cryptol/Eval/FFI.hs
@@ -32,6 +32,7 @@ import           Foreign.C.Types
 import           GHC.Float
 import           LibBF                           (bfFromDouble, bfToDouble,
                                                   pattern NearEven)
+import           System.Directory
 
 import           Cryptol.Backend.Concrete
 import           Cryptol.Backend.FFI
@@ -66,7 +67,8 @@ evalForeignDecls path m env = do
               InFile p -> do
                 -- If any error happens when loading the 'ForeignSrc', stop
                 -- processing the module.
-                fsrc <- liftIO (loadForeignSrc p) >>= liftEither
+                fsrc <- liftEither =<<
+                  liftIO (canonicalizePath p >>= loadForeignSrc)
                 liftIO $ writeIORef foreignSrc $ Just fsrc
                 pure fsrc
               -- We don't handle in-memory modules for now