Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

111 lines (83 sloc) 3.58 kb
#################################################################################
# OCamltop-gtk #
# #
# Copyright (C) 2005-2012 Institut National de Recherche en Informatique #
# et en Automatique. All rights reserved. #
# #
# This program is free software; you can redistribute it and/or modify #
# it under the terms of the GNU Lesser General Public License version #
# 3 as published by the Free Software Foundation. #
# #
# 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 General Public License for more details. #
# #
# You should have received a copy of the GNU General Public License #
# along with this program; if not, write to the Free Software #
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA #
# 02111-1307 USA #
# #
# Contact: Maxence.Guesdon@inria.fr #
# #
#################################################################################
#
include master.Makefile
PACKAGES=compiler-libs.toplevel,gtktop,lablgtk2.auto-init
OF_FLAGS=-package $(PACKAGES)
INCLUDES=
COMPFLAGS= -annot $(INCLUDES)
LIB=ocamltop.cma
OCAMLTOP=ocamltop-gtk
CMOFILES=otop_messages.cmo otop_outvalue.cmo
CMIFILES=$(CMOFILES:.cmo=.cmi)
all: $(OCAMLTOP)
$(LIB): $(CMIFILES) $(CMOFILES)
$(OCAMLFIND) ocamlc -a -o $@ $(OF_FLAGS) $(COMPFLAGS) \
$(CMOFILES)
$(OCAMLTOP): $(LIB) ocamltop.cmo
$(OCAMLFIND) ocamlc -o $@ $(OF_FLAGS) -linkpkg $(COMPFLAGS) \
$(LIB) ocamltop.cmo
.PHONY: doc depend
webdoc:
cp web/index.html web/style.css ../ocamltop-gtk-gh-pages/
.depend depend:
$(OCAMLDEP) *.ml > .depend
# installation :
################
install: install-lib install-bin
install-lib: all
$(OCAMLFIND) install $(PACKAGE) META LICENSE \
$(LIB) $(CMIFILES) ocamltop.cmo
install-bin: all
$(MKDIR) $(OCAMLBIN)
$(CP) mk-ocamltop-gtk $(OCAMLTOP) $(OCAMLBIN)/
uninstall: uninstall-lib uninstall-bin
uninstall-lib:
ocamlfind remove $(PACKAGE)
uninstall-bin:
$(RM) $(OCAMLBIN)/mk-ocamltop-gtk
$(RM) $(OCAMLBIN)/$(OCAMLTOP)
# archive :
###########
archive:
git archive --prefix=ocamltop-gtk-$(VERSION)/ HEAD | \
gzip > ../ocamltop-gtk-gh-pages/ocamltop-gtk-$(VERSION).tar.gz
# Cleaning :
############
clean:
rm -f *.cm* *.a *.annot *.o
distclean: clean
rm -fr master.Makefile otop_messages.ml \
ocaml_config.sh config.status config.log autom4te.cache META
# headers :
###########
HEADFILES=Makefile *.ml *.ml.in
.PHONY: headers noheaders
headers:
headache -h header -c ~/.headache_config $(HEADFILES)
noheaders:
headache -r -c ~/.headache_config $(HEADFILES)
include .depend
# Additional dependencies :
###########################
Jump to Line
Something went wrong with that request. Please try again.