dune

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;                                                                        ;;
;;  ldrgen, a generator of random C programs                              ;;
;;  Copyright (C) 2017-2024, Gergö Barany <gergo@tud.at>                  ;;
;;                                                                        ;;
;;  This program is free software: you can redistribute it and/or modify  ;;
;;  it under the terms of the GNU General Public License as published by  ;;
;;  the Free Software Foundation, either version 3 of the License, or     ;;
;;  (at your option) any later version.                                   ;;
;;                                                                        ;;
;;  This program 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 General Public License for more details.                          ;;
;;                                                                        ;;
;;  You should have received a copy of the GNU General Public License     ;;
;;  along with this program. If not, see <http://www.gnu.org/licenses/>.  ;;
;;                                                                        ;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(library
  (name Ldrgen)
  (public_name frama-c-ldrgen.core)
  (flags -open Frama_c_kernel :standard)
  (libraries frama-c.kernel))

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