Ich habe den NuSMV-Quellcode für Mac heruntergeladen und mit der README-Installation begonnen. Es gibt jedoch einen Schritt, der mich auffordert, mit 'cmake ..' zu erstellen, wenn ich das ausführe, bekomme ich das Problem Das Quellverzeichnis scheint CMakeLists.txt nicht zu enthalten.Ausführen von NuSMV auf dem Mac
Irgendwelche Hilfe bitte?
Die NuSMVBinärdateien sicher kompiliert werden, müssen nicht, so schließe ich, dass Sie die Quellen Paket von NuSMV heruntergeladen.
Die Datei CmakeLists.txtist in ..../NuSMV-<version>/NuSMV enthalten.
prüfen wieder, dass Sie das build Verzeichnis innerhalb eines solchen Pfad erstellt [als die README.txt Datei, die Sie fragt tun] oder einfach das Argument der cmake <path> Befehl richtig eingestellt ..../NuSMV-<version>/NuSMV auf den Weg zu zeigen.
ja Quellcode nicht Binärdateien. Es funktioniert alles, aber ich kann NuSMV nicht wirklich laufen lassen – Roosh
Sie sollten Ihre Frage mit dem neuen Fehler aktualisieren, oder eine neue Frage stellen –
Ich habe das hier getan http://stackoverflow.com/questions/36662953/running-nusmv-on-osx – Roosh