MURKA. Мануал для дилетанта. ОБСУЖДЕНИЕ

[Valery]

а чем вас не устраивают скрипты для запуска которые есть в самом дистрибутиве? там есть образцы у которых имя кончается на *gv.bat это оно самое

[Михаил Ночевной]

а чем вас не устраивают скрипты для запуска которые есть в самом дистрибутиве? там есть образцы у которых имя кончается на *gv.bat это оно самое

я чайник, не понимаю этих терминов

[Valery]

там готовый скрипт .bat который можно запускать прямо из директории где он лежит, только поменять имя входного файла RDF на то которым вы назовете файл созданный из ych

[Михаил Ночевной]

там готовый скрипт .bat который можно запускать прямо из директории где он лежит, только поменять имя входного файла RDF на то которым вы назовете файл созданный из ych

в корневой папке мурки много файлов формата бат...

[Valery]

вам нужен файл runmjstrgv.bat

Что в нем надо поправить. Ищите строчку

-i "data\seq\r1a1w4.rdf" -r "data\metric\states_str0050ineq_2_4"

первый параметр - путь ко входному файлу с данными, который вы создали с помощью runych2rdf.bat, замените на то имя которое вы ему дали, а второй - к файлу метрики. Метрики уже есть в дистрибутиве, надо только убедиться что вы делали RDF с такими же настройками какие указываете в файле метрики. Если runych2rdf.bat запускался с аргументами

-d 2 -n 2 (ширина столбца 2 символа, длина десятичной записи числа 2 символа)

то подсунете метрику

"data\metric\states_str0050ineq_2_2"

а если

-d 2 -n 4 (ширина столбца 2 символа, длина десятичной записи числа 4 символа)

то

"data\metric\states_str0050ineq_2_4"

обе есть у вас в папке data\metric


И все )) Можно много чего еще настраивать по вкусу, но для запуска этого уже достаточно.

[Михаил Ночевной]

все сделал так, что теперь запускать? прога чтото посчитала и свернулась...

[Шад]

все сделал так, что теперь запускать? прога чтото посчитала и свернулась...

в bat-файле нужно указать в конце команду pause
тогда будет выводится DOS-окно с отображением результатов работы bat-файла

[Михаил Ночевной]

все сделал так, что теперь запускать? прога чтото посчитала и свернулась...

в bat-файле нужно указать в конце команду pause
тогда будет выводится DOS-окно с отображением результатов работы bat-файла

так и есть а что делать с дос окном...

[Шад]

все сделал так, что теперь запускать? прога чтото посчитала и свернулась...

в bat-файле нужно указать в конце команду pause
тогда будет выводится DOS-окно с отображением результатов работы bat-файла

так и есть а что делать с дос окном...

Если там нет сообщения об ошибках, то закрывать и наслаждаться полученными результатами.
Если всё сделано правильно, то результаты можно смотреть в директории: ...:\murka\nw\viz\

[Михаил Ночевной]

все сделал так, что теперь запускать? прога чтото посчитала и свернулась...

в bat-файле нужно указать в конце команду pause
тогда будет выводится DOS-окно с отображением результатов работы bat-файла

так и есть а что делать с дос окном...

Если там нет сообщения об ошибках, то закрывать и наслаждаться полученными результатами.
Если всё сделано правильно, то результаты можно смотреть в директории: ...:\murka\nw\viz\

сообщений о ошибок нет, появился в указаном месте файл формата DOT но он не открывается...чем его открыть можно?

[Mich Glitch]

Михаил,

Смотрю я на Ваши потуги и расстраиваюсь.
Нельзя быть таким ленивым.
Всё, что должно быть сказано - уже сказано.
Всё, что нужно для построения Муркой, уже на форуме не единожды выложено. (В этом темах этого раздела.)
Бросьте изображать маленького капризного ребёнка, терзающего всех вопросами, а просто прочитайте хотя бы раз то, что уже написано.

[Valery]

все сделал так, что теперь запускать? прога чтото посчитала и свернулась...

в bat-файле нужно указать в конце команду pause
тогда будет выводится DOS-окно с отображением результатов работы bat-файла

так и есть а что делать с дос окном...

Если там нет сообщения об ошибках, то закрывать и наслаждаться полученными результатами.
Если всё сделано правильно, то результаты можно смотреть в директории: ...:\murka\nw\viz\

сообщений о ошибок нет, появился в указаном месте файл формата DOT но он не открывается...чем его открыть можно?

значит, у Вас graphviz установлен не в ту папку которая указана в скрипте запуска мурки. Для виндоуз по умолчанию я записываю в настройках C:\gv\bin\dot.exe, если у вас не так, то меняйте.

[Valery]

Собственно, в файле install.txt дистирибутива для windows написано про Графвиз:

We recommend to place it into c:/gv directory, otherwise you
have to change paths in Murka's ./sample directory.

несколько лаконично, но суть понятна. Еще можно прописать пути с гв в переменные окружения. Под линуксом бинарники gv обычно сидят в /usr/bin либо /usr/local/bin поэтому и проблемы с путями нет, bash их прекрасно знает. Правда, должен признать, для Линукса я поддерживают автоматическую установку автотулзами, ну а виндовый порт мурки так, ручками ((

[Михаил Ночевной]

у меня операционка 8.
я поменял местонахождение графвиза (был совсем не там) - на указанный путь.
но ДОТ файл созданный чтото считает и исчезает.
открываю dot.exe - открывает пустую командную строку...

[Valery]

выложите пожалуйста файл которым запускаете мурку, я укажу как исправить его, после чего он создаст лог murka.log, этот лог выложите здесь