@@ -92,12 +92,14 @@ idrisCmd local = Px.joinPath $ splitDirectories $ ".." Px.</> ".." Px.</> bd Px.
92
92
#else
93
93
idrisCmd local = " .." </> " .." </> bd </> " idris" </> " idris"
94
94
#endif
95
+ {- FOURMOLU_DISABLE -}
95
96
where
96
97
bd =
97
98
#if MIN_VERSION_Cabal(3,11,0)
98
99
getSymbolicPath $
99
100
#endif
100
101
buildDir local
102
+ {- FOURMOLU_ENABLE -}
101
103
102
104
-- -----------------------------------------------------------------------------
103
105
-- Make Commands
@@ -223,6 +225,7 @@ generateToolchainModule verbosity srcDir toolDir = do
223
225
createDirectoryIfMissingVerbose verbosity True srcDir
224
226
rewriteFileEx verbosity toolPath (commonContent ++ toolContent)
225
227
228
+ {- FOURMOLU_DISABLE -}
226
229
idrisConfigure _ flags pkgdesc local = do
227
230
configureRTS
228
231
withLibLBI pkgdesc local $ \ _ libcfg -> do
@@ -256,6 +259,7 @@ idrisConfigure _ flags pkgdesc local = do
256
259
#if !(MIN_VERSION_Cabal(2,0,0))
257
260
autogenComponentModulesDir lbi _ = autogenModulesDir lbi
258
261
#endif
262
+ {- FOURMOLU_ENABLE -}
259
263
260
264
#if !MIN_VERSION_Cabal(3,0,0)
261
265
idrisPreSDist args flags = do
@@ -372,6 +376,7 @@ idrisInstall verbosity copy pkg local
372
376
-- We want it to be the install directory where we put the idris libraries.
373
377
fixPkg pkg target = pkg { dataDir = target }
374
378
379
+ {- FOURMOLU_DISABLE -}
375
380
idrisTestHook args pkg local hooks flags = do
376
381
let target =
377
382
#if MIN_VERSION_Cabal(3,11,0)
@@ -403,3 +408,4 @@ main = defaultMainWithHooks $ simpleUserHooks
403
408
#endif
404
409
, testHook = idrisTestHook
405
410
}
411
+ {- FOURMOLU_ENABLE -}
0 commit comments