Как установить библиотеки Coq без руководства по установке? - PullRequest
Новая
       1

Как установить библиотеки Coq без руководства по установке?

0 голосов
/ 04 июня 2018

Многие библиотеки Coq на github не предоставляют руководства по установке и т. Д. Документации.Может быть есть общий способ / способы установки таких библиотек?Например, x86proved https://github.com/nbenton/x86proved Как установить это?

1 Ответ

0 голосов
/ 05 июня 2018

Невозможно сказать.Но, как правило, вы должны искать файлы трех разных форм:

  • Make
  • Makefile
  • _CoqProject (для последнихсобытия)

В зависимости от этих условий, вы можете попробовать одно из следующих решений:

  1. Если существует файл Make, то вам следует прочитатьдокументация команды coq_makefile.Например, большую часть времени будет иметь смысл вводить следующую последовательность команд:

    coq_makefile -f Make -o Makefile.coq
    make -f Makefile.coq
    make -f Makefile.coq install

  2. Если уже существует файл с именем F, в котором подстрока содержит makefile, то я бы попробовал

    make -f F
    make -f F install

  3. Еслиимеется файл _CoqProject, затем следуйте инструкциям, указанным в пункте 1 / выше.

  4. Если ни один из указанных выше случаев не подходит, я бы попробовал следующее:

    ls *.v > MyMake
    coq_Makefile -f MyMake -o Makefile.coq

, а затем действуйте, как в случае 1 / выше.

Вы также должны проверить, доступен ли ваш домашний проект в coq opam archive .В этом случае этот репозиторий содержит проверенные инструкции по установке в несколько расширенном синтаксисе.На дату написания этих строк это не относится к x86proved.

Ника Бентона. Надеюсь, это поможет.Я не пробовал разработку Ника Бентона, но, похоже, файл README.txt говорит, что источники находятся в подкаталоге src.В свою очередь, подкаталог src содержит Makefile, поэтому я буду действовать, как указано выше.Пожалуйста, держите нас в курсе ваших достижений, ваш опыт будет полезен для других разработчиков.

...