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:

[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

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 this

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

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-macprefix

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: --enable-macprefix