Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005125OCamlOCaml generalpublic2010-08-13 08:042010-11-25 13:25
Reporterjessicah 
Assigned To 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionno change required 
PlatformOSOS Version
Product Version3.12.0 
Target VersionFixed in Version3.12.1+dev 
Summary0005125: Test for natdynlink in Makefile fails
Descriptionmake opt.opt && install fails when $(NATDYNLINK) is not defined.
Additional Informationotherlibs/dynlink/Makefile:73: if $(NATDYNLINK); then \

When not defined, you get: "if ; then \" which is syntactically incorrect. I changed to: if ! -z "$(NATDYNLINK)" to workaround the bug.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0005636)
jessicah (reporter)
2010-08-13 08:17

Oops! The configure script changed a whole bunch from the development snapshot I had... :P

- Issue History
Date Modified Username Field Change
2010-08-13 08:04 jessicah New Issue
2010-08-13 08:17 jessicah Note Added: 0005636
2010-11-25 13:25 xclerc Status new => closed
2010-11-25 13:25 xclerc Resolution open => no change required
2010-11-25 13:25 xclerc Fixed in Version => 3.12.1+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker