[GHC] #9121: Presence of dyn_o files not checked upon recompilation (was: Presence of dyn_o files not checked? upon recompilation)
GHC
ghc-devs at haskell.org
Thu Oct 2 09:27:18 UTC 2014
#9121: Presence of dyn_o files not checked upon recompilation
-------------------------------------+-------------------------------------
Reporter: | Owner:
andreas.abel | Status: new
Type: bug | Milestone:
Priority: high | Version: 7.8.3
Component: Build | Keywords:
System | Architecture: Unknown/Multiple
Resolution: | Difficulty: Unknown
Operating System: | Blocked By:
Unknown/Multiple | Related Tickets:
Type of failure: Other |
Test Case: |
Blocking: |
Differential Revisions: |
-------------------------------------+-------------------------------------
Changes (by andreas.abel):
* priority: normal => high
* failure: None/Unknown => Other
* version: 7.8.2 => 7.8.3
Old description:
> When I interrupt a compilation (initiated with cabal), and then recompile
> (with cabal), it can happen that gcc fails with missing .dyn_o file.
>
> I have "shared:True" in my .cabal/config file.
>
> [I can of course do cabal clean to work around, but since a full
> recompilation is about 10 min, I try to avoid this.]
>
> time cabal install --disable-library-profiling --disable-documentation
> Resolving dependencies...
> In order, the following will be installed:
> Agda-2.3.3 (latest: 2.3.2.2) (reinstall)
> Warning: Note that reinstalls are always dangerous. Continuing anyway...
> Configuring Agda-2.3.3...
> Building Agda-2.3.3...
> Preprocessing library Agda-2.3.3...
> [116 of 273] Compiling Agda.TypeChecking.Monad.Base[boot] (
> src/full/Agda/TypeChecking/Monad/Base.hs-boot,
> dist/build/Agda/TypeChecking/Monad/Base.o-boot )
>
> ...
> [239 of 273] Compiling Agda.TypeChecking.Conversion (
> src/full/Agda/TypeChecking/Conversion.hs,
> dist/build/Agda/TypeChecking/Conversion.o )
> [Agda.Syntax.Translation.InternalToAbstract changed]
> ^Cmake: *** [install-bin] Interrupt
>
> time cabal install --disable-library-profiling --disable-documentation
>
> Resolving dependencies...
> In order, the following will be installed:
> Agda-2.3.3 (latest: 2.3.2.2) (reinstall)
> Warning: Note that reinstalls are always dangerous. Continuing anyway...
> Configuring Agda-2.3.3...
> Building Agda-2.3.3...
> Preprocessing library Agda-2.3.3...
> [116 of 273] Compiling Agda.TypeChecking.Monad.Base[boot] (
> src/full/Agda/TypeChecking/Monad/Base.hs-boot,
> dist/build/Agda/TypeChecking/Monad/Base.o-boot )
> ...
> [273 of 273] Compiling Agda.Main ( src/full/Agda/Main.hs,
> dist/build/Agda/Main.o ) [Agda.Compiler.Epic.Compiler changed]
> gcc: error: dist/build/Agda/TypeChecking/Conversion.dyn_o: No such file
> or directory
> Failed to install Agda-2.3.3
> cabal: Error: some packages failed to install:
> Agda-2.3.3 failed during the building phase. The exception was:
> ExitFailure 1
New description:
This bug persists in 7.8.3. (originally reported for 7.8.2).
When I interrupt a compilation (initiated with cabal), and then recompile
(with cabal), it can happen that gcc fails with missing .dyn_o file.
I have "shared:True" in my .cabal/config file.
[I can of course do cabal clean to work around, but since a full
recompilation is about 10 min, I try to avoid this.]
{{{
time cabal install --disable-library-profiling --disable-documentation
Resolving dependencies...
In order, the following will be installed:
Agda-2.3.3 (latest: 2.3.2.2) (reinstall)
Warning: Note that reinstalls are always dangerous. Continuing anyway...
Configuring Agda-2.3.3...
Building Agda-2.3.3...
Preprocessing library Agda-2.3.3...
[116 of 273] Compiling Agda.TypeChecking.Monad.Base[boot] (
src/full/Agda/TypeChecking/Monad/Base.hs-boot,
dist/build/Agda/TypeChecking/Monad/Base.o-boot )
...
[239 of 273] Compiling Agda.TypeChecking.Conversion (
src/full/Agda/TypeChecking/Conversion.hs,
dist/build/Agda/TypeChecking/Conversion.o )
[Agda.Syntax.Translation.InternalToAbstract changed]
^Cmake: *** [install-bin] Interrupt
}}}
{{{
time cabal install --disable-library-profiling --disable-documentation
Resolving dependencies...
In order, the following will be installed:
Agda-2.3.3 (latest: 2.3.2.2) (reinstall)
Warning: Note that reinstalls are always dangerous. Continuing anyway...
Configuring Agda-2.3.3...
Building Agda-2.3.3...
Preprocessing library Agda-2.3.3...
[116 of 273] Compiling Agda.TypeChecking.Monad.Base[boot] (
src/full/Agda/TypeChecking/Monad/Base.hs-boot,
dist/build/Agda/TypeChecking/Monad/Base.o-boot )
...
[273 of 273] Compiling Agda.Main ( src/full/Agda/Main.hs,
dist/build/Agda/Main.o ) [Agda.Compiler.Epic.Compiler changed]
gcc: error: dist/build/Agda/TypeChecking/Conversion.dyn_o: No such file or
directory
Failed to install Agda-2.3.3
cabal: Error: some packages failed to install:
Agda-2.3.3 failed during the building phase. The exception was:
ExitFailure 1
}}}
--
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9121#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list