Register.hs 19.4 KB
Newer Older
1 2
-----------------------------------------------------------------------------
-- |
ijones's avatar
ijones committed
3
-- Module      :  Distribution.Simple.Register
4
-- Copyright   :  Isaac Jones 2003-2004
5
-- License     :  BSD3
6
--
Duncan Coutts's avatar
Duncan Coutts committed
7
-- Maintainer  :  cabal-devel@haskell.org
ijones's avatar
ijones committed
8
-- Portability :  portable
9
--
Duncan Coutts's avatar
Duncan Coutts committed
10 11 12 13 14 15 16 17
-- This module deals with registering and unregistering packages. There are a
-- couple ways it can do this, one is to do it directly. Another is to generate
-- a script that can be run later to do it. The idea here being that the user
-- is shielded from the details of what command to use for package registration
-- for a particular compiler. In practice this aspect was not especially
-- popular so we also provide a way to simply generate the package registration
-- file which then must be manually passed to @ghc-pkg@. It is possible to
-- generate registration information for where the package is to be installed,
Ian D. Bollinger's avatar
Ian D. Bollinger committed
18
-- or alternatively to register the package in place in the build tree. The
Duncan Coutts's avatar
Duncan Coutts committed
19 20 21 22 23 24
-- latter is occasionally handy, and will become more important when we try to
-- build multi-package systems.
--
-- This module does not delegate anything to the per-compiler modules but just
-- mixes it all in in this module, which is rather unsatisfactory. The script
-- generation and the unregister feature are not well used or tested.
25

26
module Distribution.Simple.Register (
Duncan Coutts's avatar
Duncan Coutts committed
27 28 29
    register,
    unregister,

30
    initPackageDB,
31 32 33 34
    doesPackageDBExist,
    createPackageDB,
    deletePackageDB,

refold's avatar
refold committed
35
    invokeHcPkg,
Duncan Coutts's avatar
Duncan Coutts committed
36
    registerPackage,
37
    generateRegistrationInfo,
Duncan Coutts's avatar
Duncan Coutts committed
38 39 40
    inplaceInstalledPackageInfo,
    absoluteInstalledPackageInfo,
    generalInstalledPackageInfo,
41
  ) where
42

43
import Distribution.Simple.LocalBuildInfo
44
import Distribution.Simple.BuildPaths
45 46 47 48 49

import qualified Distribution.Simple.GHC   as GHC
import qualified Distribution.Simple.GHCJS as GHCJS
import qualified Distribution.Simple.LHC   as LHC
import qualified Distribution.Simple.UHC   as UHC
50
import qualified Distribution.Simple.HaskellSuite as HaskellSuite
51

52
import Distribution.Simple.Compiler
Duncan Coutts's avatar
Duncan Coutts committed
53 54 55
import Distribution.Simple.Program
import Distribution.Simple.Program.Script
import qualified Distribution.Simple.Program.HcPkg as HcPkg
56
import Distribution.Simple.Setup
Duncan Coutts's avatar
Duncan Coutts committed
57
import Distribution.PackageDescription
58
import Distribution.Package
59
import qualified Distribution.InstalledPackageInfo as IPI
60
import Distribution.InstalledPackageInfo (InstalledPackageInfo)
61
import Distribution.Simple.Utils
62
import Distribution.System
63
import Distribution.Text
Duncan Coutts's avatar
Duncan Coutts committed
64
import Distribution.Verbosity as Verbosity
65

66
import System.FilePath ((</>), (<.>), isAbsolute)
Duncan Coutts's avatar
Duncan Coutts committed
67
import System.Directory
68 69
         ( getCurrentDirectory, removeDirectoryRecursive, removeFile
         , doesDirectoryExist, doesFileExist )
ijones's avatar
ijones committed
70

71
import Data.Version
72
import Control.Monad (when)
Duncan Coutts's avatar
Duncan Coutts committed
73
import Data.Maybe
74
         ( isJust, fromMaybe, maybeToList )
Duncan Coutts's avatar
Duncan Coutts committed
75 76
import Data.List
         ( partition, nub )
77
import qualified Data.ByteString.Lazy.Char8 as BS.Char8
78

simonmar's avatar
simonmar committed
79 80 81
-- -----------------------------------------------------------------------------
-- Registration

ijones's avatar
ijones committed
82
register :: PackageDescription -> LocalBuildInfo
ijones's avatar
ijones committed
83
         -> RegisterFlags -- ^Install in the user's database?; verbose
ijones's avatar
ijones committed
84
         -> IO ()
85 86 87 88 89 90
register pkg lbi regFlags = withLib pkg (registerOne pkg lbi regFlags)

registerOne :: PackageDescription -> LocalBuildInfo -> RegisterFlags
            -> Library
            -> IO ()
registerOne pkg lbi regFlags lib
91
  = do
92
    let clbi = getComponentLocalBuildInfo lbi (CLibName (libName lib))
93

94
    absPackageDBs    <- absolutePackageDBPaths packageDbs
95
    -- TODO: registration info named base on LIBNAME!!!
96
    installedPkgInfo <- generateRegistrationInfo
97
                           verbosity pkg lib lbi clbi inplace reloc distPref
98
                           (registrationPackageDB absPackageDBs)
99

100
    when (fromFlag (regPrintId regFlags)) $ do
101
      putStrLn (display (IPI.installedUnitId installedPkgInfo))
102

103 104 105 106
     -- Three different modes:
    case () of
     _ | modeGenerateRegFile   -> writeRegistrationFile installedPkgInfo
       | modeGenerateRegScript -> writeRegisterScript   installedPkgInfo
107 108
       | otherwise             -> do
           setupMessage verbosity "Registering" (packageId pkg)
109
           registerPackage verbosity (compiler lbi) (withPrograms lbi) False
110
                           packageDbs installedPkgInfo
Duncan Coutts's avatar
Duncan Coutts committed
111 112 113 114 115 116 117 118 119

  where
    modeGenerateRegFile = isJust (flagToMaybe (regGenPkgConf regFlags))
    regFile             = fromMaybe (display (packageId pkg) <.> "conf")
                                    (fromFlag (regGenPkgConf regFlags))

    modeGenerateRegScript = fromFlag (regGenScript regFlags)

    inplace   = fromFlag (regInPlace regFlags)
120
    reloc     = relocatable lbi
Duncan Coutts's avatar
Duncan Coutts committed
121 122 123 124 125
    -- FIXME: there's really no guarantee this will work.
    -- registering into a totally different db stack can
    -- fail if dependencies cannot be satisfied.
    packageDbs = nub $ withPackageDB lbi
                    ++ maybeToList (flagToMaybe  (regPackageDB regFlags))
Duncan Coutts's avatar
Duncan Coutts committed
126 127 128
    distPref  = fromFlag (regDistPref regFlags)
    verbosity = fromFlag (regVerbosity regFlags)

129
    writeRegistrationFile installedPkgInfo = do
Duncan Coutts's avatar
Duncan Coutts committed
130
      notice verbosity ("Creating package registration file: " ++ regFile)
131
      writeUTF8File regFile (IPI.showInstalledPackageInfo installedPkgInfo)
Duncan Coutts's avatar
Duncan Coutts committed
132

133
    writeRegisterScript installedPkgInfo =
Duncan Coutts's avatar
Duncan Coutts committed
134
      case compilerFlavor (compiler lbi) of
135 136 137 138 139 140
        JHC -> notice verbosity "Registration scripts not needed for jhc"
        UHC -> notice verbosity "Registration scripts not needed for uhc"
        _   -> withHcPkg
               "Registration scripts are not implemented for this compiler"
               (compiler lbi) (withPrograms lbi)
               (writeHcPkgRegisterScript verbosity installedPkgInfo packageDbs)
Duncan Coutts's avatar
Duncan Coutts committed
141 142


143 144
generateRegistrationInfo :: Verbosity
                         -> PackageDescription
Duncan Coutts's avatar
Duncan Coutts committed
145 146 147 148
                         -> Library
                         -> LocalBuildInfo
                         -> ComponentLocalBuildInfo
                         -> Bool
149
                         -> Bool
Duncan Coutts's avatar
Duncan Coutts committed
150
                         -> FilePath
151
                         -> PackageDB
Duncan Coutts's avatar
Duncan Coutts committed
152
                         -> IO InstalledPackageInfo
153
generateRegistrationInfo verbosity pkg lib lbi clbi inplace reloc distPref packageDb = do
Duncan Coutts's avatar
Duncan Coutts committed
154 155
  --TODO: eliminate pwd!
  pwd <- getCurrentDirectory
156

157
  --TODO: the method of setting the UnitId is compiler specific
158
  --      this aspect should be delegated to a per-compiler helper.
159
  let comp = compiler lbi
160
  abi_hash <-
161 162
    case compilerFlavor comp of
     GHC | compilerVersion comp >= Version [6,11] [] -> do
163
            fmap AbiHash $ GHC.libAbiHash verbosity pkg lbi lib clbi
164
     GHCJS -> do
165 166
            fmap AbiHash $ GHCJS.libAbiHash verbosity pkg lbi lib clbi
     _ -> return (AbiHash "")
167

Christiaan Baaij's avatar
Christiaan Baaij committed
168 169 170
  installedPkgInfo <-
    if inplace
      then return (inplaceInstalledPackageInfo pwd distPref
171
                     pkg abi_hash lib lbi clbi)
Christiaan Baaij's avatar
Christiaan Baaij committed
172 173
    else if reloc
      then relocRegistrationInfo verbosity
174
                     pkg lib lbi clbi abi_hash packageDb
Christiaan Baaij's avatar
Christiaan Baaij committed
175
      else return (absoluteInstalledPackageInfo
176
                     pkg abi_hash lib lbi clbi)
177

178

179
  return installedPkgInfo{ IPI.abiHash = abi_hash }
180

181 182 183 184 185
relocRegistrationInfo :: Verbosity
                      -> PackageDescription
                      -> Library
                      -> LocalBuildInfo
                      -> ComponentLocalBuildInfo
186
                      -> AbiHash
187 188
                      -> PackageDB
                      -> IO InstalledPackageInfo
189
relocRegistrationInfo verbosity pkg lib lbi clbi abi_hash packageDb =
190
  case (compilerFlavor (compiler lbi)) of
191 192
    GHC -> do fs <- GHC.pkgRoot verbosity lbi packageDb
              return (relocatableInstalledPackageInfo
193
                        pkg abi_hash lib lbi clbi fs)
194 195
    _   -> die "Distribution.Simple.Register.relocRegistrationInfo: \
               \not implemented for this compiler"
196

197 198
initPackageDB :: Verbosity -> Compiler -> ProgramConfiguration -> FilePath -> IO ()
initPackageDB verbosity comp progdb dbPath =
199
    createPackageDB verbosity comp progdb False dbPath
200

201
-- | Create an empty package DB at the specified location.
202 203 204 205 206 207 208 209 210 211 212 213
createPackageDB :: Verbosity -> Compiler -> ProgramConfiguration -> Bool
                -> FilePath -> IO ()
createPackageDB verbosity comp progdb preferCompat dbPath =
    case compilerFlavor comp of
      GHC   -> HcPkg.init (GHC.hcPkgInfo   progdb) verbosity preferCompat dbPath
      GHCJS -> HcPkg.init (GHCJS.hcPkgInfo progdb) verbosity False dbPath
      LHC   -> HcPkg.init (LHC.hcPkgInfo   progdb) verbosity False dbPath
      UHC   -> return ()
      HaskellSuite _ -> HaskellSuite.initPackageDB verbosity progdb dbPath
      _              -> die $ "Distribution.Simple.Register.createPackageDB: "
                           ++ "not implemented for this compiler"

214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229
doesPackageDBExist :: FilePath -> IO Bool
doesPackageDBExist dbPath = do
    -- currently one impl for all compiler flavours, but could change if needed
    dir_exists <- doesDirectoryExist dbPath
    if dir_exists
        then return True
        else doesFileExist dbPath

deletePackageDB :: FilePath -> IO ()
deletePackageDB dbPath = do
    -- currently one impl for all compiler flavours, but could change if needed
    dir_exists <- doesDirectoryExist dbPath
    if dir_exists
        then removeDirectoryRecursive dbPath
        else do file_exists <- doesFileExist dbPath
                when file_exists $ removeFile dbPath
refold's avatar
refold committed
230 231 232 233 234 235

-- | Run @hc-pkg@ using a given package DB stack, directly forwarding the
-- provided command-line arguments to it.
invokeHcPkg :: Verbosity -> Compiler -> ProgramConfiguration -> PackageDBStack
                -> [String] -> IO ()
invokeHcPkg verbosity comp conf dbStack extraArgs =
236 237 238 239
  withHcPkg "invokeHcPkg" comp conf
    (\hpi -> HcPkg.invoke hpi verbosity dbStack extraArgs)

withHcPkg :: String -> Compiler -> ProgramConfiguration
240
          -> (HcPkg.HcPkgInfo -> IO a) -> IO a
241 242 243 244 245 246 247
withHcPkg name comp conf f =
  case compilerFlavor comp of
    GHC   -> f (GHC.hcPkgInfo conf)
    GHCJS -> f (GHCJS.hcPkgInfo conf)
    LHC   -> f (LHC.hcPkgInfo conf)
    _     -> die ("Distribution.Simple.Register." ++ name ++ ":\
                  \not implemented for this compiler")
248

Duncan Coutts's avatar
Duncan Coutts committed
249
registerPackage :: Verbosity
250 251
                -> Compiler
                -> ProgramConfiguration
252
                -> Bool
253
                -> PackageDBStack
254
                -> InstalledPackageInfo
Duncan Coutts's avatar
Duncan Coutts committed
255
                -> IO ()
256
registerPackage verbosity comp progdb multiInstance packageDbs installedPkgInfo =
257
  case compilerFlavor comp of
258 259 260 261
    GHC   -> GHC.registerPackage   verbosity progdb multiInstance packageDbs installedPkgInfo
    GHCJS -> GHCJS.registerPackage verbosity progdb multiInstance packageDbs installedPkgInfo
    _ | multiInstance
          -> die "Registering multiple package instances is not yet supported for this compiler"
262 263
    LHC   -> LHC.registerPackage   verbosity      progdb packageDbs installedPkgInfo
    UHC   -> UHC.registerPackage   verbosity comp progdb packageDbs installedPkgInfo
264
    JHC   -> notice verbosity "Registering for jhc (nothing to do)"
265
    HaskellSuite {} ->
266
      HaskellSuite.registerPackage verbosity      progdb packageDbs installedPkgInfo
Duncan Coutts's avatar
Duncan Coutts committed
267 268 269
    _    -> die "Registering is not implemented for this compiler"

writeHcPkgRegisterScript :: Verbosity
270
                         -> InstalledPackageInfo
271
                         -> PackageDBStack
272
                         -> HcPkg.HcPkgInfo
Duncan Coutts's avatar
Duncan Coutts committed
273
                         -> IO ()
274 275
writeHcPkgRegisterScript verbosity installedPkgInfo packageDbs hpi = do
  let invocation  = HcPkg.reregisterInvocation hpi Verbosity.normal
276
                      packageDbs (Right installedPkgInfo)
277
      regScript   = invocationAsSystemScript buildOS invocation
Duncan Coutts's avatar
Duncan Coutts committed
278 279

  notice verbosity ("Creating package registration script: " ++ regScriptFileName)
280
  writeUTF8File regScriptFileName regScript
Duncan Coutts's avatar
Duncan Coutts committed
281 282 283 284 285 286
  setFileExecutable regScriptFileName

regScriptFileName :: FilePath
regScriptFileName = case buildOS of
                        Windows -> "register.bat"
                        _       -> "register.sh"
simonmar's avatar
simonmar committed
287

288

289 290 291
-- -----------------------------------------------------------------------------
-- Making the InstalledPackageInfo

Duncan Coutts's avatar
Duncan Coutts committed
292 293 294 295 296 297 298
-- | Construct 'InstalledPackageInfo' for a library in a package, given a set
-- of installation directories.
--
generalInstalledPackageInfo
  :: ([FilePath] -> [FilePath]) -- ^ Translate relative include dir paths to
                                -- absolute paths.
  -> PackageDescription
299
  -> AbiHash
Duncan Coutts's avatar
Duncan Coutts committed
300
  -> Library
301
  -> LocalBuildInfo
Duncan Coutts's avatar
Duncan Coutts committed
302 303 304
  -> ComponentLocalBuildInfo
  -> InstallDirs FilePath
  -> InstalledPackageInfo
305
generalInstalledPackageInfo adjustRelIncDirs pkg abi_hash lib lbi clbi installDirs =
306
  IPI.InstalledPackageInfo {
307 308 309
    IPI.sourcePackageId    = (packageId   pkg) {
                                pkgName = componentCompatPackageName clbi
                             },
310
    IPI.installedUnitId    = componentUnitId clbi,
311
    IPI.compatPackageKey   = componentCompatPackageKey clbi,
Duncan Coutts's avatar
Duncan Coutts committed
312 313 314 315 316 317 318
    IPI.license            = license     pkg,
    IPI.copyright          = copyright   pkg,
    IPI.maintainer         = maintainer  pkg,
    IPI.author             = author      pkg,
    IPI.stability          = stability   pkg,
    IPI.homepage           = homepage    pkg,
    IPI.pkgUrl             = pkgUrl      pkg,
319
    IPI.synopsis           = synopsis    pkg,
Duncan Coutts's avatar
Duncan Coutts committed
320 321
    IPI.description        = description pkg,
    IPI.category           = category    pkg,
322
    IPI.abiHash            = abi_hash,
Duncan Coutts's avatar
Duncan Coutts committed
323
    IPI.exposed            = libExposed  lib,
324
    IPI.exposedModules     = componentExposedModules clbi,
Duncan Coutts's avatar
Duncan Coutts committed
325
    IPI.hiddenModules      = otherModules bi,
326
    IPI.trusted            = IPI.trusted IPI.emptyInstalledPackageInfo,
Duncan Coutts's avatar
Duncan Coutts committed
327
    IPI.importDirs         = [ libdir installDirs | hasModules ],
328 329
    -- Note. the libsubdir and datasubdir templates have already been expanded
    -- into libdir and datadir.
Duncan Coutts's avatar
Duncan Coutts committed
330 331 332
    IPI.libraryDirs        = if hasLibrary
                               then libdir installDirs : extraLibDirs bi
                               else                      extraLibDirs bi,
333
    IPI.dataDir            = datadir installDirs,
334
    IPI.hsLibraries        = if hasLibrary
335
                               then [getHSLibraryName (componentUnitId clbi)]
336
                               else [],
Duncan Coutts's avatar
Duncan Coutts committed
337
    IPI.extraLibraries     = extraLibs bi,
338
    IPI.extraGHCiLibraries = extraGHCiLibs bi,
Duncan Coutts's avatar
Duncan Coutts committed
339 340
    IPI.includeDirs        = absinc ++ adjustRelIncDirs relinc,
    IPI.includes           = includes bi,
341
    IPI.depends            = map fst (componentPackageDeps clbi),
Duncan Coutts's avatar
Duncan Coutts committed
342 343 344 345 346
    IPI.ccOptions          = [], -- Note. NOT ccOptions bi!
                                 -- We don't want cc-options to be propagated
                                 -- to C compilations in other packages.
    IPI.ldOptions          = ldOptions bi,
    IPI.frameworks         = frameworks bi,
347
    IPI.frameworkDirs      = extraFrameworkDirs bi,
Duncan Coutts's avatar
Duncan Coutts committed
348
    IPI.haddockInterfaces  = [haddockdir installDirs </> haddockName pkg],
349 350
    IPI.haddockHTMLs       = [htmldir installDirs],
    IPI.pkgRoot            = Nothing
Duncan Coutts's avatar
Duncan Coutts committed
351 352 353 354
  }
  where
    bi = libBuildInfo lib
    (absinc, relinc) = partition isAbsolute (includeDirs bi)
355
    hasModules = not $ null (libModules lib)
Duncan Coutts's avatar
Duncan Coutts committed
356
    hasLibrary = hasModules || not (null (cSources bi))
357 358 359
                            || (not (null (jsSources bi)) &&
                                compilerFlavor (compiler lbi) == GHCJS)

Ian D. Bollinger's avatar
Ian D. Bollinger committed
360
-- | Construct 'InstalledPackageInfo' for a library that is in place in the
Duncan Coutts's avatar
Duncan Coutts committed
361 362
-- build tree.
--
Ian D. Bollinger's avatar
Ian D. Bollinger committed
363
-- This function knows about the layout of in place packages.
Duncan Coutts's avatar
Duncan Coutts committed
364 365 366 367
--
inplaceInstalledPackageInfo :: FilePath -- ^ top of the build tree
                            -> FilePath -- ^ location of the dist tree
                            -> PackageDescription
368
                            -> AbiHash
Duncan Coutts's avatar
Duncan Coutts committed
369 370 371 372
                            -> Library
                            -> LocalBuildInfo
                            -> ComponentLocalBuildInfo
                            -> InstalledPackageInfo
373
inplaceInstalledPackageInfo inplaceDir distPref pkg abi_hash lib lbi clbi =
374
    generalInstalledPackageInfo adjustRelativeIncludeDirs
375
                                pkg abi_hash lib lbi clbi installDirs
Duncan Coutts's avatar
Duncan Coutts committed
376
  where
refold's avatar
refold committed
377
    adjustRelativeIncludeDirs = map (inplaceDir </>)
378
    libTargetDir = libBuildDir lbi clbi
Duncan Coutts's avatar
Duncan Coutts committed
379
    installDirs =
380
      (absoluteInstallDirs pkg lbi (componentUnitId clbi) NoCopyDest) {
381
        libdir     = inplaceDir </> libTargetDir,
382
        datadir    = inplaceDir </> dataDir pkg,
Duncan Coutts's avatar
Duncan Coutts committed
383 384 385 386 387 388 389 390 391 392 393 394 395 396
        docdir     = inplaceDocdir,
        htmldir    = inplaceHtmldir,
        haddockdir = inplaceHtmldir
      }
    inplaceDocdir  = inplaceDir </> distPref </> "doc"
    inplaceHtmldir = inplaceDocdir </> "html" </> display (packageName pkg)


-- | Construct 'InstalledPackageInfo' for the final install location of a
-- library package.
--
-- This function knows about the layout of installed packages.
--
absoluteInstalledPackageInfo :: PackageDescription
397
                             -> AbiHash
Duncan Coutts's avatar
Duncan Coutts committed
398 399 400 401
                             -> Library
                             -> LocalBuildInfo
                             -> ComponentLocalBuildInfo
                             -> InstalledPackageInfo
402
absoluteInstalledPackageInfo pkg abi_hash lib lbi clbi =
403
    generalInstalledPackageInfo adjustReativeIncludeDirs
404
                                pkg abi_hash lib lbi clbi installDirs
Duncan Coutts's avatar
Duncan Coutts committed
405 406 407 408 409 410 411
  where
    -- For installed packages we install all include files into one dir,
    -- whereas in the build tree they may live in multiple local dirs.
    adjustReativeIncludeDirs _
      | null (installIncludes bi) = []
      | otherwise                 = [includedir installDirs]
    bi = libBuildInfo lib
412
    installDirs = absoluteInstallDirs pkg lbi (componentUnitId clbi) NoCopyDest
Duncan Coutts's avatar
Duncan Coutts committed
413

414 415

relocatableInstalledPackageInfo :: PackageDescription
416
                                -> AbiHash
417 418 419
                                -> Library
                                -> LocalBuildInfo
                                -> ComponentLocalBuildInfo
420
                                -> FilePath
421
                                -> InstalledPackageInfo
422
relocatableInstalledPackageInfo pkg abi_hash lib lbi clbi pkgroot =
423
    generalInstalledPackageInfo adjustReativeIncludeDirs
424
                                pkg abi_hash lib lbi clbi installDirs
425 426 427 428 429 430 431
  where
    -- For installed packages we install all include files into one dir,
    -- whereas in the build tree they may live in multiple local dirs.
    adjustReativeIncludeDirs _
      | null (installIncludes bi) = []
      | otherwise                 = [includedir installDirs]
    bi = libBuildInfo lib
432 433

    installDirs = fmap (("${pkgroot}" </>) . shortRelativePath pkgroot)
434
                $ absoluteInstallDirs pkg lbi (componentUnitId clbi) NoCopyDest
435

simonmar's avatar
simonmar committed
436 437
-- -----------------------------------------------------------------------------
-- Unregistration
438

ijones's avatar
ijones committed
439
unregister :: PackageDescription -> LocalBuildInfo -> RegisterFlags -> IO ()
Duncan Coutts's avatar
Duncan Coutts committed
440 441 442
unregister pkg lbi regFlags = do
  let pkgid     = packageId pkg
      genScript = fromFlag (regGenScript regFlags)
443
      verbosity = fromFlag (regVerbosity regFlags)
Duncan Coutts's avatar
Duncan Coutts committed
444
      packageDb = fromFlagOrDefault (registrationPackageDB (withPackageDB lbi))
445
                                    (regPackageDB regFlags)
446 447 448 449 450 451 452
      unreg hpi =
        let invocation = HcPkg.unregisterInvocation
                           hpi Verbosity.normal packageDb pkgid
        in if genScript
             then writeFileAtomic unregScriptFileName
                    (BS.Char8.pack $ invocationAsSystemScript buildOS invocation)
             else runProgramInvocation verbosity invocation
Duncan Coutts's avatar
Duncan Coutts committed
453
  setupMessage verbosity "Unregistering" pkgid
454 455
  withHcPkg "unregistering is only implemented for GHC and GHCJS"
    (compiler lbi) (withPrograms lbi) unreg
ijones's avatar
ijones committed
456

Duncan Coutts's avatar
Duncan Coutts committed
457 458 459 460
unregScriptFileName :: FilePath
unregScriptFileName = case buildOS of
                          Windows -> "unregister.bat"
                          _       -> "unregister.sh"