dune-project

(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;                                                                        ;;
;;  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/>.  ;;
;;                                                                        ;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(using dune_site 0.1)
(name frama-c-ldrgen)
(package (name frama-c-ldrgen))