(* This file is part of the Kind 2 model checker.
Copyright (c) 2015 by the Board of Trustees of the University of Iowa
Licensed under the Apache License, Version 2.0 (the "License"); you
may not use this file except in compliance with the License. You
may obtain a copy of the License at
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
implied. See the License for the specific language governing
permissions and limitations under the License.
(* Static and autoconfigured defaults
Do not edit the .ml file but rather the .ml.in file, the .ml file
is generated from the .ml.in file after each run of the configure
let package_name = "kind2"
let package_version = "v1.1.0"
compile-command: "make -C .. -k"
tuareg-interactive-program: "./kind2.top -I ./_build -I ./_build/SExpr"