[Nix-dev] ghcHEAD broken?

Kosyrev Serge _deepfire at feelingofgreen.ru
Wed Aug 12 00:28:38 CEST 2015


Peter Simons <simons at cryp.to> writes:
> Hi Kosyrev,
>
>  > I'm trying to replicate the fix for ghcNokinds, but the determinism
>  > two-liner doesn't seem to be enough on its own.
>
> I'm would expect that adding the files VERSION and GIT_COMMIT_ID to the
> source tree would suffice. The build logs says:
>
>   checking for GHC version date... configure: WARNING: cannot determine snapshot
> version: no .git directory and no VERSION file
>   checking for GHC Git commit id... configure: WARNING: cannot determine snapshot
> revision: no .git directory and no 'GIT_COMMIT_ID' file
>  
> Apparently, the build process respects those files, no? What exactly
> happens when you compile the nokinds GHC that way and try to use it?

Sure, that's why I've adopted your determinism two-liner:

,----
|    postUnpack = ''
|      pushd ghc-${builtins.substring 0 7 rev}
| +    echo ${version} >VERSION
| +    echo ${rev} >GIT_COMMIT_ID
|      patchShebangs .
|      ./boot
|      popd
`----

..which still fails like this:

,----
| [deepfire at andromedae:~/src/moodel]$ nix-store --realise /nix/store/0bfz38ci1ayslcxzc8dj5wc4i4fvbi6v-ghc-nokinds-7.11.20150718.drv
| these derivations will be built:
|   /nix/store/0bfz38ci1ayslcxzc8dj5wc4i4fvbi6v-ghc-nokinds-7.11.20150718.drv
| building path(s) ‘/nix/store/kyqccq06a75wms3kklc9cykvn68bfp2c-ghc-nokinds-7.11.20150718’
| created 39 symlinks in user environment
| ghc-pkg: /nix/store/kyqccq06a75wms3kklc9cykvn68bfp2c-ghc-nokinds-7.11.20150718/lib/ghc-7.11.20150718/package.conf.d/package.cache: you don't have permission to modify this file
| builder for ‘/nix/store/0bfz38ci1ayslcxzc8dj5wc4i4fvbi6v-ghc-nokinds-7.11.20150718.drv’ failed with exit code 1
`----

..but I've also noticed, that you have also bumped the ghcHEAD version,
and so I wondered if this made part of the difference..

-- 
respectfully,
Косырев Серёга
--
“And those who were seen dancing were thought to be insane
 by those who could not hear the music.”
 – Friedrich Wilhelm Nietzsche


More information about the nix-dev mailing list