#homebrew #z3 #kframework
Вопрос:
Я безуспешно пытаюсь установить Kframework. Я установил все зависимости, следуя инструкциям на https://github.com/kframework/k/tree/master#prerequisite-install-guide и обновил переменные среды, как предлагалось.
У меня есть ПУТЬ экспорта=»~/z3-4.8.7-x64-osx-10.14.6/bin:$ПУТЬ». Я запускаю: brew удалите kframework brew удалите z3 и удалите версию, установленную за пределами brew brew очистите и обновите и обновите brew установите z3 kframework
Brew install kframework выдает следующее предупреждение об инструментах командной строки: Предупреждение: Доступен более новый выпуск средств командной строки. Обновите их с помощью Обновления программного обеспечения в системных настройках или выполните: обновление программного обеспечения —все —установить —принудительно
Если это не показывает вам никаких обновлений, запустите: sudo rm-rf /Библиотека/Разработчик/Командные модули sudo xcode-выберите —установить
и в конечном итоге заканчивается
<<Исключение KEMException: [Ошибка] Критическое: Не удалось запустить процесс z3 (Исключение IOException: Не удается запустить программу «z3»: ошибка=2, такого файла или каталога нет)(Даже если мои CLT обновлены и установлены в нужном месте ).
- Мои комментаторские кабинеты кажутся законными. У меня есть Xcode версии 11.3.1 (11C505), и я установил CommanLineTools из двоичного файла, который я загрузил с сайта разработки apple Command_Line_Tools_for_Xcode_11.3.1.dmg
Набрав «xcode-select -p», вы получите /Библиотеку/Разработчика/командной строки
- мой z3 : z3 -версия Z3 версии 4.8.7 — 64 бит (двоичный файл, загруженный с веб-сайта z3) .
Я попробовал это также с Z3 версии 4.8.12
Любой совет приветствуется.
Комментарии:
1. Вы устанавливаете Z3 с помощью Homebrew или загружаете его вручную? Ваши
PATHнастройки иbrewвызовы, похоже, противоречат этому.2. Извините за путаницу. Я действительно попробовал оба варианта, установив Z3 с помощью homebrew и загрузив его вручную.
3. Я впервые попробовал вариант A (где brew устанавливает z3 4.8.12 brew устанавливает z3 kframework Первая ошибка, которую я вижу: ==> пакет mvn-DskipTests-Dproject.build.type=FastBuild Последние 15 строк из /Пользователи/Люба/Библиотека/Журналы/Домашнее пиво/kframework/02.mvn: [ИНФОРМАЦИЯ] Общее время: 09:48 ч [ИНФОРМАЦИЯ] Закончено в: 2021-09-23T17:24:47-04:00 [ИНФОРМАЦИЯ] ———————————————————————— [ОШИБКА] Не удалось выполнить цель org.apache.maven.plugins:maven-antrun-плагин:1.7:запуск (сборка-haskell) в проекте haskell-серверная часть: Произошло исключение Ant BuildException: exec вернул: 1
4. затем следует ошибка: Доступен более новый выпуск средств командной строки. Обновите их с помощью Обновления программного обеспечения в системных настройках или выполните: обновление программного обеспечения —все —установка —принудительно ….. Вам следует загрузить инструменты командной строки для Xcode 11.3.1.
5. Затем я попробовал вариант B с ручной загрузкой экспортного ПУТИ=»~/z3-4.8.7-x64-osx-10.14.6/bin:$ПУТЬ» в моем сценарии. клон git github.com/kframework/k.git пакет cd k mvn