Revision 1379d3c091ae8fe99e299700d0f2c5c39ee257bc authored by fclement on 22 January 2007, 18:26:18 UTC, committed by fclement on 22 January 2007, 18:26:18 UTC
1 parent ad54fe0
makefile.config
#######################################################################
# #
# OCamlP3l #
# #
# (C) 2004-2006 #
# Roberto Di Cosmo (dicosmo@dicosmo.org) #
# Zheng Li (zli@lip6.fr) #
# Pierre Weis (Pierre.Weis@inria.fr) #
# Francois Clement (Francois.Clement@inria.fr) #
# #
# This program is free software; you can redistribute it and/or #
# modify it under the terms of the GNU Library General Public License #
# as published by the Free Software Foundation; either version 2 #
# 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 Library General Public License for more details. #
# #
#######################################################################
# $Id: makefile.config,v 1.3 2007-01-09 19:47:03 fclement Exp $
#
# Modify the following variable according to the binary installation
# directory you choose.
#
PREFIX = /usr/local
Computing file changes ...