Newer
Older
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of the Frama-C's MetACSL plug-in. ;;
;; ;;
;; CEA (Commissariat à l'énergie atomique et aux énergies ;;
;; alternatives) ;;
;; ;;
;; you can redistribute it and/or modify it under the terms of the GNU ;;
;; Lesser General Public License as published by the Free Software ;;
;; Foundation, version 2.1. ;;
;; ;;
;; It is distributed in the hope that it will be useful, ;;
;; but WITHOUT ANY WARRANTY; without even the implied warranty of ;;
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ;;
;; GNU Lesser General Public License for more details. ;;
;; ;;
;; See the GNU Lesser General Public License version 2.1 ;;
;; for more details (enclosed in the file LICENSE) ;;
;; ;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(generate_opam_files true)
(name frama-c-metacsl)
(maintainers "https://git.frama-c.com/pub/frama-c")
(package (name frama-c-metacsl)
(depends
(ocaml (>= 4.11.1))
(frama-c (and (>= 27.0~) (< 28.0~)))
)
(depopts
conf-swi-prolog ; for the deduction features of MetAcsl
(why3 (>= 1.3.1)) ; for the validation of proofs/meta_model.why
)
; (conflict ...)
(tags ("program verification" "formal specification" "C" "plugins" "ACSL"
"MetACSL"))
)