Commit 867afde3 authored by Raphael Cauderlier's avatar Raphael Cauderlier
Browse files

Update dependencies

parent b276eaed
......@@ -129,6 +129,9 @@ version_eq "${VERSIONS["ZENON"]}" "0.8.0" &&
## Zenon Modulo
find_binary_and_version "zenon_modulo" "" "ZENON_MODULO" "-v |& cut -d ' ' -f 3" &&
version_eq "${VERSIONS["ZENON_MODULO"]}" "0.4.3" &&
## Zenon Transfer
find_binary_and_version "zenon_transfer" "" "ZENON_TRANSFER" "-v |& cut -d ' ' -f 3" &&
version_eq "${VERSIONS["ZENON_TRANSFER"]}" "0.4.3" &&
# Interop
## Coq
......@@ -155,7 +158,7 @@ find_binary_and_version "opentheory" "" "OPENTHEORY" "-v | cut -d ' ' -f 2" &&
version_eq "${VERSIONS["OPENTHEORY"]}" "1.3" &&
find_binary_and_version "holide" "" "HOLIDE" "--version" &&
version_eq "${VERSIONS["HOLIDE"]}" \
"Holide HOL to Dedukti translator, version 0.2.1 (Holala)" &&
"Holide HOL to Dedukti translator, version 0.2.2" &&
print_to_stderr "" &&
print_to_stderr "Configuration successful, please invoke make" &&
print_to_stderr ""
......@@ -10,4 +10,14 @@ build: [make]
install: [make "install"]
remove: [make "uninstall"]
depends: ["dedukti" {= "dev"} "meta_dedukti" {= "dev"} "dktactics" {= "dev"} ]
depends: [
"focalize" {>= "0.9.2"}
"dedukti" {>= "2.5"}
"sukerujo" {>= "2.5"}
"meta_dedukti" {>= "2.5"}
"dktactics" {>= "0.2"}
"zenon_transfer" {>= "0.4.3"}
"zenon_modulo_focalide" {>= "0.4.3"}
"holide" {>= "0.2.2"}
"coqine" {>= "0.4"}
]
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment