Re: [racket-dev] git problem during make

2015-01-11 Thread Jens Axel Søgaard
2015-01-11 20:16 GMT+01:00 Matthew Flatt : > I'm not sure what you have in mind with some of the steps, such as step > 4 (using `raco pkg` or `raco link`?). I had forgotten. > The trace suggests that "gui-lib" is linked as a clone at the `raco > pkg` level. Using `raco link -r` to adjust links in

Re: [racket-dev] git problem during make

2015-01-11 Thread Matthew Flatt
I'm not sure what you have in mind with some of the steps, such as step 4 (using `raco pkg` or `raco link`?). The trace suggests that "gui-lib" is linked as a clone at the `raco pkg` level. Using `raco link -r` to adjust links installed by the package manager has a difficult-to-predict effect, but