#######################################################################
#                                                                     #
#                              OCamlGen                               #
#                                                                     #
#                       OCaml module Generator                        #
#                                                                     #
#               EPI Pomdapi, INRIA Paris - Rocquencourt               #
#                                                                     #
#  Copyright 1997-2014 INRIA.                                         #
#  Institut National de Recherche en Informatique et en Automatique.  #
#  All rights reserved. This file is distributed only by permission.  #
#                                                                     #
#  Pierre Weis <Pierre.Weis@inria.fr>                                 #
#                                                                     #
#######################################################################

# $Id: Makefile_user,v 1.5 2014/01/31 09:51:52 fclement Exp $

# Mimic inexistant user makefile ``Makefile_user''.
include ./.User_preamble.pph
include $(PPH_USER_MAKEFILES_DIR)/Environment.pph
include $(PPH_OCAML_MAKEFILES_DIR)/Environment.pph
include $(PPH_APPLICATION_MAKEFILES_DIR)/Environment.pph
include $(PPH_USER_MAKEFILES_DIR)/Rule_Target.pph
