Martin Stone Davis
2017-12-04 02:02:54 UTC
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
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
/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
/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
configure: error: cannot run C compiled programs.
If you meant to cross compile, use `--host'.
See `config.log' for more details
--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
/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
configure: error: cannot run C compiled programs.
If you meant to cross compile, use `--host'.
See `config.log' for more details