[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