Revision ad58ae426e7e9200530d18bf439d02657503426c authored by fclement on 23 November 2010, 11:33:06 UTC, committed by fclement on 23 November 2010, 11:33:06 UTC
1 parent 46f23e8
makefile.application
#######################################################################
# #
# OCamlP3l #
# #
# (C) 2004-2007 #
# Roberto Di Cosmo (dicosmo@dicosmo.org) #
# Zheng Li (zli@lip6.fr) #
# Pierre Weis (Pierre.Weis@inria.fr) #
# Francois Clement (Francois.Clement@inria.fr) #
# #
# Based on original Ocaml P3L System #
# (C) 1997 by #
# Roberto Di Cosmo (dicosmo@ens.fr) #
# Marco Danelutto (marcod@di.unipi.it) #
# Xavier Leroy (Xavier.Leroy@inria.fr) #
# Susanna Pelagatti (susanna@di.unipi.it) #
# #
# 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.application,v 1.9 2007-01-23 17:13:34 weis Exp $
include $(MAKEFILES_DIR)/makefile.config
PACKAGE = ocamlp3l
VERSION = 2.03
#
# OCamlP3l libraries install in the ocamlp3l subdirectory of the Caml system
# library installation to benefit from the -I +<> option of the compiler.
# So, to be safe, do not change the following line.
#
CAMLLIBDIR = "`ocamlc -where`"
PACKAGELIBDIR = $(CAMLLIBDIR)/$(PACKAGE)
PACKAGEBINDIR = $(PREFIX)/bin
MODEL = process
# Caml commands
CAMLCBYTFLAGS = -warn-error A -g
CAMLCBINFLAGS = -warn-error A -inline 10000 -noassert
CAMLCBYT = ocamlc $(CAMLCBYTFLAGS)
CAMLCBIN = ocamlopt $(CAMLCBINFLAGS)
CAMLCDEP = ocamldep
WITHUNIX = unix.cmxa
WITHGRAP = graphics.cmxa
#
# Common commands
#
RM = rm -fr
CP = cp -pfr
MV = mv -f
MKDIR = mkdir -p
TOUCH = touch
CHMOD = chmod -R
CHGRP = chgrp -R
CHOWN = chown -R
TAR = tar
TARC = $(TAR) czvf
TARX = $(TAR) xzvf
CVS = cvs
# Banner handling
HTMLC = htmlc
BANNER = bh --white-lines-after-banner 1
BANNER_WITH_MAGIC = bh --skip-lines-of-file 2 --white-lines-after-banner 1
# Default banner file
BANNERFILE = banner
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...