Mantis - Bolt
Erweiterte Problemanzeige
131 general kleinerer Fehler nicht getestet 2015-02-22 16:17 2015-02-22 16:17
jll  
 
normal  
neu 1.4  
offen  
keine    
keine  
0000131: missing camlp4of
It seems that on Ubuntu, bolt requires camlp4-extra to be installed, but the configure file does not detect that this is not the case, in particular that camlp4of is not available.
Problem-Historie
2015-02-22 16:17 jll Neues Problem

Zu diesem Problem gibt es keine Notizen.