lannot/dune at main · kidq330/lannot · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;                                                                        ;;
;;  This file is part of the Frama-C's Lannotate plug-in.                 ;;
;;                                                                        ;;
;;  Copyright (C) 2012-2022                                               ;;
;;    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)                       ;;
;;                                                                        ;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(rule
  (alias frama-c-configure)
  (deps (universe))
  (action
    (progn
     (echo "Lannotate:" %{lib-available:frama-c-lannotate.core} "\n")
     (echo " - Frama-C:" %{lib-available:frama-c.kernel} "\n")
     (echo " - Postdominators:" %{lib-available:frama-c-postdominators.core} "\n")
    )
  )
)

(library
  (optional)
  (name lannotate)
  (public_name frama-c-lannotate.core)
  (flags -open Frama_c_kernel :standard -w -9)
  (libraries frama-c.kernel frama-c-postdominators.core batteries)
)

(plugin
 (optional)
 (name lannotate)
 (libraries frama-c-lannotate.core)
 (site (frama-c plugins)))