;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;                                                                        ;;
;;  SPDX-License-Identifier LGPL-2.1                                      ;;
;;  Copyright (C)                                                         ;;
;;  CEA (Commissariat à l'énergie atomique et aux énergies alternatives)  ;;
;;                                                                        ;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

; SCRIPT
(install
 (package frama-c-e-acsl)
 (section bin)
 (files
  (scripts/e-acsl-gcc as e-acsl-gcc)))

(install
 (package frama-c-e-acsl)
 (section (site (frama-c share)))
 (source_trees (share/e-acsl as e-acsl)))
