[racket-dev] The repository is now split

2014-12-04 Thread Sam Tobin-Hochstadt
I've just push a change to the plt repository that removes almost all the packages. The split repositories are all in the `racket` organization on GitHub. You can see them here: https://github.com/racket/ I *highly* recommend creating a new clone of the repository, and re-running `make`. This wil

Re: [racket-dev] The repository is now split

2014-12-04 Thread Matthias Felleisen
Is this the expected behavior: > $ git clone git:plt plt2 > $ cd plt2/ > $ make ... > raco setup: --- post-installing collections --- > raco setup: --- checking package dependencies --- > make install-common-last > make fix-paths > if [ "" != "" ]; then \ > if [ "" = "" ]; then \ >

Re: [racket-dev] The repository is now split

2014-12-04 Thread Matthias Felleisen
For those of you who have my level of experience with such things, here is what Sam's phrase "I *highly* recommend creating a new clone of the repository, and re-running `make`." means, for your value of the name 'plt2': $ git clone git:plt plt2 $ cd plt2/ $ git submodule init $ git submodul

Re: [racket-dev] The repository is now split

2014-12-04 Thread Sam Tobin-Hochstadt
On Thu Dec 04 2014 at 11:27:45 AM Matthias Felleisen wrote: > > For those of you who have my level of experience with such things, > here is what Sam's phrase "I *highly* recommend creating a new clone > of the repository, and re-running `make`." means, for your value of > the name 'plt2': > > $

[racket-dev] Fwd: [ACM-BULLETIN] Today's Topic: ACM Names 2014 Distinguished Members

2014-12-04 Thread Matthias Felleisen
Even the ACM considers our very own Matthew Flatt as a distinguished scientist. -- Matthias Begin forwarded message: > From: ACM Bulletin > Subject: [ACM-BULLETIN] Today's Topic: ACM Names 2014 Distinguished Members > Date: December 4, 2014 11:04:44 AM EST > To: acm-bulle...@listser

Re: [racket-dev] Fwd: [ACM-BULLETIN] Today's Topic: ACM Names 2014 Distinguished Members

2014-12-04 Thread Doug Williams
Congratulations Matthew. I can't think of anyone more deserving. On Dec 4, 2014 11:49 AM, "Matthias Felleisen" wrote: > Even the ACM considers our very own Matthew Flatt as a distinguished > scientist. -- Matthias > > > > > Begin forwarded message: > > *From: *ACM Bulletin > *Subject: **[ACM-BUL

Re: [racket-dev] The repository is now split

2014-12-04 Thread John Clements
Okay, some teething problems. First time around, it finished way too fast. The problem seemed to be that it had an error in compiling a planet package... ah, I see, there was no 'at-exp-lib' installed? Presumably this is because planet packages don't declare pkg dependencies? Anyhow, this aborted

Re: [racket-dev] The repository is now split

2014-12-04 Thread Sam Tobin-Hochstadt
On Thu, Dec 4, 2014 at 12:50 PM, John Clements wrote: > Okay, some teething problems. > > First time around, it finished way too fast. The problem seemed to be that > it had an error in compiling a planet package... ah, I see, there was no > 'at-exp-lib' installed? Presumably this is because plan

Re: [racket-dev] The repository is now split

2014-12-04 Thread Matthew Flatt
In cooperation with Sam, I've pushed a change to the way that `make` links the content of "pkgs". If you run `make` again, it should tell you to delete your old racket/etc/config.rktd Also, the "native-pkgs" submodule is gone. The problem that John saw with "libintl.8.dylib" has been fixed by

Re: [racket-dev] Fwd: [ACM-BULLETIN] Today's Topic: ACM Names 2014 Distinguished Members

2014-12-04 Thread Pierpaolo Bernardi
Congrats Matthew! On Thu, Dec 4, 2014 at 5:50 PM, Matthias Felleisen wrote: > Even the ACM considers our very own Matthew Flatt as a distinguished > scientist. -- Matthias > > > > > Begin forwarded message: > > *From: *ACM Bulletin > *Subject: **[ACM-BULLETIN] Today's Topic: ACM Names 2014 Dis