Closed ortegagingrich closed 8 years ago
I made the suggested change. The reason why I had the previous bit (getting the source directory from the makefile's directory) was in case a user might have multiple variants of a particular repository, some not located in the standard location relative to the directory set in the CLAW environment variable. The idea was that, as long as the library makefile was in the same directory as all of the source files referenced, the user could specify (in the application makefile) the library makefile of a repository located anywhere and the source files included in that repository would be used for the particular run. On further reflection, though, this is probably not necessary, as having multiple variants of a repository would probably be handled by having separate git branches and switching between them as needed.
This pull request depends upon this simultaneous pull request. Please see the explanation there.