[Agda] ANNOUNCE: Agda 2.4.2.2

[Byron Hale]

I meant cpphs-1.19, which also shouldn't exist.  Yet, cabal claims to 
install it.
In some cases, that forces haskell-src-exts to a higher version.
It may be that I made a mistake in the directory I first installed agda.
Yet, you will see that I've been pretty careful in the included dump, 
which I've edited a bit.
If need be, I will include a full dump.

Best regards,

Byron Hale

On 05/11/2015 04:40 AM, Andrés Sicard-Ramírez wrote:
> On 11 May 2015 at 02:46, Byron Hale <byron.hale at einfo.com> wrote:
>> On Ubuntu 14.04 AMD-64, with the latest Haskell Platform, GHC 7.8.3 and
>> cabal-install version 1.22.2.0  installed,
>> "cabal install agda" (2.4.2.2) forces cpphs-1.18.9 -> cpphs-1.19 and
>> haskell-src-exts-1.16.0.1 -> haskell-src-exts-1.19.
> haskell-src-exts-1.19 doesn't exists.
>
>> This happened even when I pre-installed the correct versions of those
>> dependencies.
> I don't understand. What did you pre-install?
>

-------------- next part --------------
Note: cpphs-1.19 "requires" haskell-src-exts >= 1.17 (but installs 1.16.0.1),
in contradiction to the dependencies requirement that haskell-src-exts <1.17.
However, it didn't show in the following runs.

Note: Haskell Platform 2014.2.0.0 is installed globally, except for cabal.

> $PATH
bash: /home/byron/bin:/home/byron/.cabal/bin:...
> ls ~/.cabal/bin
... cpphs cabal ...
> cpphs --version
cpphs 1.18.9
> cabal -V
cabal-install version 1.22.2.0
using version 1.22.2.0 of the Cabal library 
> pwd
/home/byron/.cabal/sandboxes/agda2.4.2.2
> ls -la
total 8
drwxrwxr-x 2 byron byron 4096 May 11 18:35 .
drwxrwxr-x 4 byron byron 4096 May 10 17:40 ..
> cabal sandbox init
Writing a default package environment file to
/home/byron/.cabal/sandboxes/agda2.4.2.2/cabal.sandbox.config
Creating a new sandbox at
/home/byron/.cabal/sandboxes/agda2.4.2.2/.cabal-sandbox
> ls -la
total 16
drwxrwxr-x 3 byron byron 4096 May 11 18:46 .
drwxrwxr-x 4 byron byron 4096 May 10 17:40 ..
drwxr-xr-x 4 byron byron 4096 May 11 18:46 .cabal-sandbox
-rw-rw-r-- 1 byron byron 1000 May 11 18:46 cabal.sandbox.config
> ghc --version
The Glorious Glasgow Haskell Compilation System, version 7.8.3
> cabal install --dry-run --dependencies-only -v Agda
Using a sandbox located at
/home/byron/.cabal/sandboxes/agda2.4.2.2/.cabal-sandbox
/usr/local/bin/alex --version
/home/byron/.cabal/bin/cpphs --version
/usr/bin/gcc -dumpversion
/usr/local/bin/haddock --version
/usr/local/bin/happy --version
/usr/local/bin/hpc version
looking for tool hsc2hs near compiler in /usr/local/bin
found hsc2hs in /usr/local/bin/hsc2hs
/usr/local/bin/hsc2hs --version
/usr/local/bin/HsColour -version
/usr/local/bin/ghc -c /tmp/32099.c -o /tmp/32099.o
/usr/bin/ld -x -r /tmp/32099.o -o /tmp/32100.o
/usr/bin/pkg-config --version
/bin/tar --help
Reading available packages...
Reading installed packages...
/usr/local/bin/ghc-pkg dump '--package-db=/home/byron/.cabal/sandboxes/agda2.4.2.2/.cabal-sandbox/x86_64-linux-ghc-7.8.3-packages.conf.d' -v0
/usr/local/bin/ghc --print-libdir
Found no modified add-source deps.
Reading available packages...
Choosing modular solver.
Resolving dependencies...
In order, the following would be installed:
STMonadTrans-0.3.3 (new package)
boxes-0.1.4 (new package)
data-hash-0.2.0.0 (new package)
equivalence-0.2.5 (latest: 0.3.1) (new package)
geniplate-0.6.0.5 (new package)
hashtables-1.2.0.2 (new package)
polyparse-1.11 (new package)
cpphs-1.19 (new package) <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
haskell-src-exts-1.16.0.1 (new package)
strict-0.3.2 (new package)
tf-random-0.5 (new package)
QuickCheck-2.7.6 (latest: 2.8.1) (new version)
> cabal info agda
...
    Dependencies:  ... , haskell-src-exts >=1.9.6 && <1.17, ...
> cabal install agda
...
Installing executable(s) in
/home/byron/.cabal/sandboxes/agda2.4.2.2/.cabal-sandbox/bin
Registering cpphs-1.19...
Installed cpphs-1.19
...
Linking /tmp/Agda-2.4.2.2-32202/Agda-2.4.2.2/dist/dist-sandbox-9a3f92c2/setup/setup ...
Configuring Agda-2.4.2.2...
setup: The program 'cpphs' version >=1.18.6 && <1.19 is required but the
version found at /home/byron/.cabal/sandboxes/agda2.4.2.2/.cabal-sandbox/bin/cpphs is version 1.19
Failed to install Agda-2.4.2.2
cabal: Error: some packages failed to install:
Agda-2.4.2.2 failed during the configure step. The exception was:
ExitFailure 1