[Agda] Fwd: Re: epic-0.1.5 installation problem

[Andreas Abel]

Hi Edwin,

thanks again for your assistance.  I unearthed an older email 
conversation on installing epic.  Accordingly, the following sequence 
succeeds:

sudo port deactivate libiconv

export C_INCLUDE_PATH=~/include:/opt/local/include:$C_INCLUDE_PATH
export CPLUS_INCLUDE_PATH=~/include:/opt/local/include:$CPLUS_INCLUDE_PATH
export LD_LIBRARY_PATH=~/lib:/opt/local/lib:$LD_LIBRARY_PATH
export LIBRARY_PATH=~/lib:/opt/local/lib:$LIBRARY_PATH

cabal install epic

... and then Agda compiles (and Idris installs).

I guess I could have had this earlier, but I shunned the deactivation of 
iconv...

Cheers,
Andreas

-------- Original Message --------
Subject: Re: epic-0.1.5 installation problem
Date: Wed, 22 Sep 2010 09:45:09 +0100
From: Edwin Brady <eb at cs.st-andrews.ac.uk>
To: Andreas Abel <andreas.abel at ifi.lmu.de>

Unfortunately the only solution I know to this one is to deactivate
the macports iconv library, with port deactivate libiconv. Actually,
in the end I found it easier to uninstall everything and just add the
ports I didn't fancy installing by hand.

The only macport I have installed is, I think, gmp. In general I've
found everything I need somewhere else. This is a shame but it seems
to be the only way until the iconv problem is sorted.

One day hopefully soon I'll try to make a version that doesn't depend
on gmp or boehmgc...

Edwin.

On 22 Sep 2010, at 08:59, Andreas Abel wrote:

> Hi Edwin,
>
> thanks for the swift reply.  After port installed me gmp, I tried with
> the PATH setting below.
> Unfortunately, then I get another well-loved failure which is a known
> problem with the macports libraries:
>
> 10 of 10] Compiling Main             ( Main.lhs, dist/build/epic/epic-
> tmp/Main.o )
> Linking dist/build/epic/epic ...
> Undefined symbols:
>   "_iconv_open", referenced from:
>       _hs_iconv_open in libHSbase-4.2.0.0.a(iconv.o)
>   "_iconv_close", referenced from:
>       _hs_iconv_close in libHSbase-4.2.0.0.a(iconv.o)
>   "_iconv", referenced from:
>       _hs_iconv in libHSbase-4.2.0.0.a(iconv.o)
> ld: symbol(s) not found
> collect2: ld returned 1 exit status
> cabal: Error: some packages failed to install:
> epic-0.1.5 failed during the building phase. The exception was:
> ExitFailure 1
>
> Seems like I am stuck between two evils? ...
>
> Cheers,
> Andreas
>
> On Sep 21, 2010, at 9:30 PM, Edwin Brady wrote:
>
>> Hi Andreas,
>> It looks like you're missing the Boehm garbage collector and GMP
>> libraries. The easiest thing to do, if you have macports, is just to:
>>
>> port install boehmgc
>> port install gmp
>>
>> I try to use macports as little as possible though since its iconv
>> library interferes with GHC. But those two packages don't cause any
>> trouble for me.
>>
>> You might also need to add these to your .profile since macports
>> installs things in odd places:
>>
>> export C_INCLUDE_PATH=~/include:/opt/local/include:$C_INCLUDE_PATH
>> export CPLUS_INCLUDE_PATH=~/include:/opt/local/include:
>> $CPLUS_INCLUDE_PATH
>> export LD_LIBRARY_PATH=~/lib:/opt/local/lib:$LD_LIBRARY_PATH
>> export LIBRARY_PATH=~/lib:/opt/local/lib:$LIBRARY_PATH
>>
>> I wish I knew a neater way around this... possibly avoiding macports
>> completely is the only way.
>>
>> Edwin.
>>
>> On 21 Sep 2010, at 20:25, Andreas Abel wrote:
>>
>>> Hi Edwin,
>>>
>>> I'd like to play with idris, but have trouble installing it on my
>>> Mac
>>> OS X 10.5.8, GHC 6.12.1 system.
>>>
>>> cabal install epic
>>>
>>> gives me problems when it comes to compile the .c parts.
>>>
>>> What to do?
>>>
>>> Cheers,
>>> Andreas
>>>
>>> [10 of 10] Compiling Main             ( Main.lhs, dist/build/epic/
>>> epic-
>>> tmp/Main.o )
>>> Linking dist/build/epic/epic ...
>>> gcc -Wall -O3   -c -o closure.o closure.c
>>> In file included from closure.c:1:
>>> closure.h:11:19: error: gc/gc.h: No such file or directory
>>> closure.h:14:17: error: gmp.h: No such file or directory
>>> In file included from closure.c:1:
>>> closure.h:186: error: syntax error before ‘*’ token
>>> closure.h:194: error: syntax error before ‘*’ token
>>> closure.h:194: warning: type defaults to ‘int’ in declaration of
>>> ‘GETBIGINT’
>>> closure.h:194: warning: data definition has no type or storage class
>>> closure.c: In function ‘CLOSURE’:
>>> closure.c:101: warning: implicit declaration of function ‘GC_malloc’
>>> closure.c:101: warning: initialization makes pointer from integer
>>> without a cast
>>> closure.c: In function ‘CONSTRUCTORn’:
>>> closure.c:122: warning: initialization makes pointer from integer
>>> without a cast
>>> closure.c: In function ‘CONSTRUCTOR1’:
>>> closure.c:139: warning: initialization makes pointer from integer
>>> without a cast
>>> closure.c: In function ‘CONSTRUCTOR2’:
>>> closure.c:152: warning: initialization makes pointer from integer
>>> without a cast
>>> closure.c: In function ‘CONSTRUCTOR3’:
>>> closure.c:166: warning: initialization makes pointer from integer
>>> without a cast
>>> closure.c: In function ‘CONSTRUCTOR4’:
>>> closure.c:181: warning: initialization makes pointer from integer
>>> without a cast
>>> closure.c: In function ‘CONSTRUCTOR5’:
>>> closure.c:197: warning: initialization makes pointer from integer
>>> without a cast
>>> closure.c: In function ‘CLOSURE_ADDN’:
>>> closure.c:225: warning: implicit declaration of function
>>> ‘GC_realloc’
>>> closure.c: In function ‘CLOSURE_APPLY’:
>>> closure.c:359: warning: initialization makes pointer from integer
>>> without a cast
>>> closure.c: In function ‘aux_CLOSURE_APPLY1’:
>>> closure.c:383: warning: initialization makes pointer from integer
>>> without a cast
>>> closure.c: In function ‘aux_CLOSURE_APPLY2’:
>>> closure.c:403: warning: initialization makes pointer from integer
>>> without a cast
>>> closure.c: In function ‘aux_CLOSURE_APPLY3’:
>>> closure.c:424: warning: initialization makes pointer from integer
>>> without a cast
>>> closure.c: In function ‘aux_CLOSURE_APPLY4’:
>>> closure.c:446: warning: initialization makes pointer from integer
>>> without a cast
>>> closure.c: In function ‘aux_CLOSURE_APPLY5’:
>>> closure.c:469: warning: initialization makes pointer from integer
>>> without a cast
>>> closure.c: In function ‘NEWBIGINT’:
>>> closure.c:679: error: ‘mpz_t’ undeclared (first use in this
>>> function)
>>> closure.c:679: error: (Each undeclared identifier is reported only
>>> once
>>> closure.c:679: error: for each function it appears in.)
>>> closure.c:679: error: ‘bigint’ undeclared (first use in this
>>> function)
>>> closure.c:680: warning: initialization makes pointer from integer
>>> without a cast
>>> closure.c:681: error: syntax error before ‘)’ token
>>> closure.c:682: warning: implicit declaration of function ‘mpz_init’
>>> closure.c:683: warning: implicit declaration of function
>>> ‘mpz_set_str’
>>> closure.c: At top level:
>>> closure.c:691: error: syntax error before ‘*’ token
>>> closure.c: In function ‘MKBIGINT’:
>>> closure.c:693: error: ‘mpz_t’ undeclared (first use in this
>>> function)
>>> closure.c:693: error: ‘bigint’ undeclared (first use in this
>>> function)
>>> closure.c:694: warning: initialization makes pointer from integer
>>> without a cast
>>> closure.c:695: error: syntax error before ‘)’ token
>>> closure.c:697: warning: implicit declaration of function ‘mpz_set’
>>> closure.c:697: error: ‘big’ undeclared (first use in this function)
>>> closure.c: At top level:
>>> closure.c:712: error: syntax error before ‘*’ token
>>> closure.c:713: warning: return type defaults to ‘int’
>>> closure.c: In function ‘GETBIGINT’:
>>> closure.c:714: error: ‘mpz_t’ undeclared (first use in this
>>> function)
>>> closure.c:714: error: syntax error before ‘)’ token
>>> closure.c: In function ‘MKSTR’:
>>> closure.c:721: warning: initialization makes pointer from integer
>>> without a cast
>>> closure.c: In function ‘init_evm’:
>>> closure.c:767: warning: assignment makes pointer from integer
>>> without
>>> a cast
>>> make: *** [closure.o] Error 1
>>> setup: evm/libevm.a: does not exist
>>> cabal: Error: some packages failed to install:
>>> epic-0.1.5 failed during the final install step. The exception was:
>>> ExitFailure 1
>>>
>>>
>>> Andreas Abel  <><      Du bist der geliebte Mensch.
>>>
>>> Theoretical Computer Science, University of Munich
>>> Oettingenstr. 67, D-80538 Munich, GERMANY
>>>
>>> andreas.abel at ifi.lmu.de
>>> http://www2.tcs.ifi.lmu.de/~abel/
>>>
>>
>> --
>>
>> Edwin Brady - http://www.cs.st-and.ac.uk/~eb/
>> The University of St Andrews is a charity registered in Scotland :
>> No SC013532
>>
>>
>
> Andreas Abel  <><      Du bist der geliebte Mensch.
>
> Theoretical Computer Science, University of Munich
> Oettingenstr. 67, D-80538 Munich, GERMANY
>
> andreas.abel at ifi.lmu.de
> http://www2.tcs.ifi.lmu.de/~abel/
>

-- 

Edwin Brady - http://www.cs.st-and.ac.uk/~eb/
The University of St Andrews is a charity registered in Scotland : No
SC013532