Re: [racket-dev] --enable-macprefix gone?

2010-10-20 Thread Matthew Flatt
At Wed, 20 Oct 2010 00:03:33 -0400, Eli Barzilay wrote: > About a minute ago, David Van Horn wrote: > > On 10/19/10 10:03 PM, Eli Barzilay wrote: > > > 9 hours ago, David Van Horn wrote: > > >> Has the --enable-macprefix option been removed from the configure > > >> script? When I configure, I get

Re: [racket-dev] --enable-macprefix gone?

2010-10-19 Thread Eli Barzilay
About a minute ago, David Van Horn wrote: > On 10/19/10 10:03 PM, Eli Barzilay wrote: > > 9 hours ago, David Van Horn wrote: > >> Has the --enable-macprefix option been removed from the configure > >> script? When I configure, I get: > >> > >> configure: WARNING: unrecognized options: --enabl

Re: [racket-dev] --enable-macprefix gone?

2010-10-19 Thread David Van Horn
On 10/19/10 10:21 PM, Eli Barzilay wrote: Four minutes ago, David Van Horn wrote: On 10/19/10 10:03 PM, Eli Barzilay wrote: 9 hours ago, David Van Horn wrote: Has the --enable-macprefix option been removed from the configure script? When I configure, I get: configure: WARNING: unrecogn

Re: [racket-dev] --enable-macprefix gone?

2010-10-19 Thread Eli Barzilay
Four minutes ago, David Van Horn wrote: > On 10/19/10 10:03 PM, Eli Barzilay wrote: > > 9 hours ago, David Van Horn wrote: > >> Has the --enable-macprefix option been removed from the configure > >> script? When I configure, I get: > >> > >> configure: WARNING: unrecognized options: --enable-

Re: [racket-dev] --enable-macprefix gone?

2010-10-19 Thread David Van Horn
On 10/19/10 10:03 PM, Eli Barzilay wrote: 9 hours ago, David Van Horn wrote: Has the --enable-macprefix option been removed from the configure script? When I configure, I get: configure: WARNING: unrecognized options: --enable-macprefix If so, the src/README file should be updated to ref

Re: [racket-dev] --enable-macprefix gone?

2010-10-19 Thread Eli Barzilay
9 hours ago, David Van Horn wrote: > Has the --enable-macprefix option been removed from the configure > script? When I configure, I get: > > configure: WARNING: unrecognized options: --enable-macprefix > > If so, the src/README file should be updated to reflect the change. You should have

[racket-dev] --enable-macprefix gone?

2010-10-19 Thread David Van Horn
Has the --enable-macprefix option been removed from the configure script? When I configure, I get: configure: WARNING: unrecognized options: --enable-macprefix If so, the src/README file should be updated to reflect the change. David _ For l