Mantis Bugtracker

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

- Problem-Beziehungen

Zu diesem Problem gibt es keine Notizen.

- Problem-Historie
Änderungsdatum Benutzername Feld Änderung
2015-02-22 16:17 jll Neues Problem


Mantis 1.1.7[^]
Copyright © 2000 - 2008 Mantis Group
Powered by Mantis Bugtracker