Agda.Setup.LockFile
withLockFile :: FilePath -> IO a -> IO a Source #
Run an action with an exclusive lock over the given path