##########################################################################
#                                                                        #
#  This file is part of WP plug-in of Frama-C.                           #
#                                                                        #
#  Copyright (C) 2007-2015                                               #
#    CEA (Commissariat a l'energie atomique et aux energies              #
#         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 licenses/LGPLv2.1).            #
#                                                                        #
##########################################################################

# Shared with WP's Makefile in order to facilitate recompilation of Qed
# from Frama-C

QED_LIB_ML = r bvars numbers hcons cache intmap intset idxset idxmap \
	 listset listmap mergeset mergemap collection \
	 partition relation plib topology

QED_SRC_ML = kind pool term pretty \
	 export export_coq export_whycore export_why3 export_altergo \
	 pattern

QED_SRC_MLI = arith logic engine

QED_GENERATED=lexer
