Erweiterte Problemanzeige
[ Zu Notizen wechseln ]
|
[ einfache Anzeige ]
[ Problem-Historie ]
[ Drucken ]
|
ID |
Kategorie |
Auswirkung |
Reproduzierbar |
Meldungsdatum |
Letzte Aktualisierung |
0000131 |
[Bolt] general |
kleinerer Fehler |
nicht getestet |
2015-02-22 16:17 |
2015-02-22 16:17 |
|
Reporter |
jll |
Anzeigestatus |
öffentlich |
|
Bearbeitung durch |
|
Priorität |
normal |
Lösung |
offen |
Rechnertyp |
|
Status |
neu |
|
Betriebssystem |
|
Projektion |
keine |
|
BS-Version |
|
Aufwand |
keine |
Behoben in Version |
|
Produktversion |
1.4 |
|
Zielversion |
|
Produkt-Build |
|
|
Zusammenfassung |
0000131: missing camlp4of |
Beschreibung |
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. |
Schritte zur Reproduktion |
|
Zusätzliche Information |
|
Tags |
Keine Tags zugeordnet. |
|
Angehängte Dateien |
|
|