Notes |
|
(0000473)
|
ony
|
2012-07-08 08:57
|
|
sorry for 0001-Add-man-info-and-lisp-dirs-configuring.patch
second should be good (after applying first one).
I can create another issue for it (actually I'd prefer to edit description for this to make it sounds like "directory overriding for libdir, mandir, infodir etc"). |
|
|
(0000474)
|
pbone
|
2012-07-08 10:59
|
|
Thanks. Someone will look at this as time permits (I promise!). Don't worry about adding a new issue, they've enough in common that a general issue is fine. |
|
|
(0000518)
|
ony
|
2013-05-19 03:44
|
|
both patches now in single mercury-13.05-bug259-dirs-overriding.patch
please consider using /usr/share/doc/mercury-13.05 etc for documentation rather than /usr/lib/mercury/doc. currently patch changes those folder according to this suggestion |
|
|
(0000533)
|
keri
|
2013-06-04 03:41
|
|
This bug is a little more complicated than first meets the eye. In addition to the changes in mercury-13.05-bug259-dirs-overriding.patch there are a few other places in which $(INSTALL_PREFIX)/lib/mercury is referenced:
* library/Mmakefile:
260 install_mer_rt: $(RT_LIB_NAME).jar
261 mkdir -p $(INSTALL_PREFIX)/lib/mercury/lib/$(GRADE)
262 cp $(RT_LIB_NAME).jar $(INSTALL_PREFIX)/lib/mercury/lib/$(GRADE)
* the mercury compiler itself
compiler/file_util.m:
262 InstallNamePath = InstallPrefix / "lib" / "mercury" / "lib" / GradeDir
compiler/make.program_target.m:
1374 LibDir = Prefix/"lib"/"mercury",
1427 IncDir = Prefix / "lib" / "mercury" / "inc",
1576 GradeLibDir = Prefix/"lib"/"mercury"/"lib"/GradeDir,
1581 GradeLibDir = Prefix/"lib"/"mercury"/"lib"/GradeDir,
1586 GradeLibDir = Prefix/"lib"/"mercury"/"lib"/GradeDir,
1593 GradeLibDir = Prefix/"lib"/"mercury"/"lib"/GradeDir,
1624 GradeModulesDir = Prefix / "lib" / "mercury" / "modules" / GradeDir,
1641 LibDir = Prefix/"lib"/"mercury",
1788 LibDir = Prefix/"lib"/"mercury",
1819 LibDir = Prefix/"lib"/"mercury",
* extras/posix/Mmakefile
37 cp $(ADDITIONAL_HDRS) $(INSTALL_PREFIX)/lib/mercury/inc |
|