Greetings!
Gabriel Dos Reis writes:
> Camm Maguire writes:
>
> | Greetings!
> |
> | Gabriel Dos Reis writes:
> |
> | > Camm Maguire writes:
> | >
> | > [...]
> | >
> | > | > Camm, do you think it is possible to make --disable-tk --disable-tcl
> | > | > entirely disabling linking with tcl/tk
Camm Maguire writes:
| Greetings!
|
| Gabriel Dos Reis writes:
|
| > Camm Maguire writes:
| >
| > [...]
| >
| > | > Camm, do you think it is possible to make --disable-tk --disable-tcl
| > | > entirely disabling linking with tcl/tk?
| > | >
| > |
| > | OK --enable-tcltk is now a configure sw
Greetings!
Gabriel Dos Reis writes:
> Camm Maguire writes:
>
> [...]
>
> | > Camm, do you think it is possible to make --disable-tk --disable-tcl
> | > entirely disabling linking with tcl/tk?
> | >
> |
> | OK --enable-tcltk is now a configure switch (default yes).
>
> Hi Camm,
>
> I just tried
Camm Maguire writes:
[...]
| > Camm, do you think it is possible to make --disable-tk --disable-tcl
| > entirely disabling linking with tcl/tk?
| >
|
| OK --enable-tcltk is now a configure switch (default yes).
Hi Camm,
I just tried: --disable-tcltk works great.
However, the build fails when
Greetings!
Gabriel Dos Reis writes:
> "George W. Dinolt" writes:
>
> | Gabriel:
> |
> | I had the same problem. The issue seems to be connected with having
> | tcl/tk in your path. When that happens, gcl tries to link them in and
> | the issue you discovered raises its head. If you remove /op
Greetings!
Gabriel Dos Reis writes:
> Matt Kaufmann writes:
>
> | Hi, Camm --
> |
> | I've just grabbed the latest cvs version of GCL 2.6.8pre and built
> | ACL2 with it, on my Intel Mac running Mac OS 10.6.4. The build
> | succeeded, as did a run of the ACL2 regression suite (using a
> | dev
"George W. Dinolt" writes:
| Gabriel:
|
| I had the same problem. The issue seems to be connected with having
| tcl/tk in your path. When that happens, gcl tries to link them in and
| the issue you discovered raises its head. If you remove /opt/local/bin
| or /sw/bin/ or wherever you have tcl/t
Gabriel:
I had the same problem. The issue seems to be connected with having
tcl/tk in your path. When that happens, gcl tries to link them in and
the issue you discovered raises its head. If you remove /opt/local/bin
or /sw/bin/ or wherever you have tcl/tk installed from your path, then
gcl
Matt Kaufmann writes:
| Hi, Camm --
|
| I've just grabbed the latest cvs version of GCL 2.6.8pre and built
| ACL2 with it, on my Intel Mac running Mac OS 10.6.4. The build
| succeeded, as did a run of the ACL2 regression suite (using a
| development copy of ACL2, not much different from ACL2 4.
