On Apr 27, 2010, at 6:59 PM, Matthew Flatt wrote: > Done. > > I don't think there's any issue with the `make install' versus `raco > setup' ordering. The `raco setup' step should be the last one for > installation --- unless you're installing with DESTDIR, in which case > you're not planning to running right away.
Wonderful! Many thanks. John
smime.p7s
Description: S/MIME cryptographic signature
_________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
