[Agda] problems installing agda master using stack

Martin Stone Davis martin.stone.davis at gmail.com
Mon Dec 4 03:02:54 CET 2017


I am trying and failing to build the latest agda (on the master branch). 
My platform is parabola, which is an arch clone. A while back, I had 
been able to use cabal install, but when that went south for some 
reason, I hit upon using stack. Unfortunately, that also is not working 
for me anymore. Hopefully, this is the right place to report this, or 
you can direct me to the proper authorities.

I'm using stack Version 1.6.0.20171022 x86_64

Here's the command I am using for stack:

stack --stack-yaml stack-8.0.2.yaml install

And here's the error:

> --  While building package old-time-1.1.0.3 using:
> /tmp/stack31341/old-time-1.1.0.3/.stack-work/dist/x86_64-linux-tinfo6-nopie/Cabal-1.24.2.0/setup/setup 
>
> --builddir=.stack-work/dist/x86_64-linux-tinfo6-nopie/Cabal-1.24.2.0 
> configure
> --with-ghc=/home/martin/.stack/programs/x86_64-linux/ghc-tinfo6-nopie-8.0.2/bin/ghc 
>
> --with-ghc-pkg=/home/martin/.stack/programs/x86_64-linux/ghc-tinfo6-nopie-8.0.2/bin/ghc-pkg 
> --user --package-db=clear --package-db=global
> --package-db=/home/martin/.stack/snapshots/x86_64-linux-tinfo6-nopie/lts-9.12/8.0.2/pkgdb 
>
> --libdir=/home/martin/.stack/snapshots/x86_64-linux-tinfo6-nopie/lts-9.12/8.0.2/lib 
>
> --bindir=/home/martin/.stack/snapshots/x86_64-linux-tinfo6-nopie/lts-9.12/8.0.2/bin 
>
> --datadir=/home/martin/.stack/snapshots/x86_64-linux-tinfo6-nopie/lts-9.12/8.0.2/share 
>
> --libexecdir=/home/martin/.stack/snapshots/x86_64-linux-tinfo6-nopie/lts-9.12/8.0.2/libexec 
>
> --sysconfdir=/home/martin/.stack/snapshots/x86_64-linux-tinfo6-nopie/lts-9.12/8.0.2/etc 
>
> --docdir=/home/martin/.stack/snapshots/x86_64-linux-tinfo6-nopie/lts-9.12/8.0.2/doc/old-time-1.1.0.3 
>
> --htmldir=/home/martin/.stack/snapshots/x86_64-linux-tinfo6-nopie/lts-9.12/8.0.2/doc/old-time-1.1.0.3 
>
> --haddockdir=/home/martin/.stack/snapshots/x86_64-linux-tinfo6-nopie/lts-9.12/8.0.2/doc/old-time-1.1.0.3 
> --dependency=base=base-4.9.1.0
> --dependency=old-locale=old-locale-1.0.0.7-KGBP1BSKxH5GCm0LnZP04j
>     Process exited with code: ExitFailure 1
>     Logs have been written to: 
> /home/martin/agda/.stack-work/logs/old-time-1.1.0.3.log
>
>     [1 of 2] Compiling Main             ( 
> /tmp/stack31341/old-time-1.1.0.3/Setup.hs,
> /tmp/stack31341/old-time-1.1.0.3/.stack-work/dist/x86_64-linux-tinfo6-nopie/Cabal-1.24.2.0/setup/Main.o 
> )
>     [2 of 2] Compiling StackSetupShim   ( 
> /home/martin/.stack/setup-exe-src/setup-shim-mPHDZzAJ.hs,
> /tmp/stack31341/old-time-1.1.0.3/.stack-work/dist/x86_64-linux-tinfo6-nopie/Cabal-1.24.2.0/setup/StackSetupShim.o 
> )
>     Linking 
> /tmp/stack31341/old-time-1.1.0.3/.stack-work/dist/x86_64-linux-tinfo6-nopie/Cabal-1.24.2.0/setup/setup 
> ...
>     Configuring old-time-1.1.0.3...
>     configure: WARNING: unrecognized options: --with-compiler
>     checking for gcc... /usr/bin/gcc
>     checking whether the C compiler works... yes
>     checking for C compiler default output file name... a.out
>     checking for suffix of executables...
>     checking whether we are cross compiling... configure: error: in 
> `/tmp/stack31341/old-time-1.1.0.3':
>     configure: error: cannot run C compiled programs.
>     If you meant to cross compile, use `--host'.
>     See `config.log' for more details



More information about the Agda mailing list