debian/0000755000000000000000000000000012256133711007167 5ustar debian/ocamlviz.links0000644000000000000000000000021611361136321012050 0ustar usr/share/man/man1/ocamlviz.1.gz usr/share/man/man1/ocamlviz-ascii.1.gz usr/share/man/man1/ocamlviz.1.gz usr/share/man/man1/ocamlviz-gui.1.gz debian/libocamlviz-ocaml-doc.install0000644000000000000000000000006311361136321014721 0ustar doc/manual.pdf usr/share/doc/libocamlviz-ocaml-doc debian/copyright0000644000000000000000000000315111361136321011116 0ustar X-Format-Specification: http://wiki.debian.org/Proposals/CopyrightFormat X-Debianized-By: Mehdi Dogguy X-Debianized-Date: Wed Mar 24 19:29:30 CET 2010. X-Source-Downloaded-From: http://ocamlviz.forge.ocamlcore.org/ X-Upstream-Author: Julien Robert Guillaume Von Tokarski Sylvain Conchon Jean-Christophe Filliatre Fabrice Le Fessant Files: debian/* Copyright: © 2010 Mehdi Dogguy License: LGPL-2 See `/usr/share/common-licenses/LGPL-2'. Files: * Copyright: © 2009-2010 INRIA - CNRS - Universite Paris Sud License: LGPL-2 with static link exception This software is distributed under the terms of the GNU Library General Public License version 2 (included below). As a special exception to the GNU Library General Public License, you may link, statically or dynamically, a "work that uses the Library" with a publicly distributed version of the Library to produce an executable file containing portions of the Library, and distribute that executable file under terms of your choice, without any of the additional requirements listed in clause 6 of the GNU Library General Public License. By "a publicly distributed version of the Library", we mean either the unmodified Library as distributed, or a modified version of the Library that is distributed under the conditions defined in clause 3 of the GNU Library General Public License. This exception does not however invalidate any other reasons why the executable file might be covered by the GNU Library General Public License. See `/usr/share/common-licenses/LGPL-2'. debian/changelog0000644000000000000000000000204012256133711011035 0ustar ocamlviz (1.01-2build4) trusty; urgency=medium * Rebuild for ocaml-4.01. -- Matthias Klose Mon, 23 Dec 2013 22:23:05 +0000 ocamlviz (1.01-2build3) precise; urgency=low * Rebuild for OCaml 3.12.1. -- Colin Watson Sat, 19 Nov 2011 18:41:07 +0000 ocamlviz (1.01-2build2) oneiric; urgency=low * Rebuild to pick up ocaml fixes on armel. -- Adam Conrad Wed, 24 Aug 2011 16:45:05 -0600 ocamlviz (1.01-2build1) oneiric; urgency=low * Rebuild for OCaml 3.12.0. -- Colin Watson Thu, 19 May 2011 15:14:52 +0100 ocamlviz (1.01-2) unstable; urgency=low [ Mehdi Dogguy ] * The gui should depend on graphviz on runtime. [ Stéphane Glondu ] * Conditionally compile documentation in override_dh_auto_install (Closes: #576986) -- Mehdi Dogguy Tue, 13 Apr 2010 20:55:41 +0200 ocamlviz (1.01-1) unstable; urgency=low * Initial release (Closes: #545532) -- Mehdi Dogguy Wed, 24 Mar 2010 19:34:00 +0100 debian/ocamlviz.manpages0000644000000000000000000000001711361136321012522 0ustar doc/ocamlviz.1 debian/clean0000644000000000000000000000011411361136321010164 0ustar .depend Makefile config.log camlp4/pa_ocamlviz.annot camlp4/pa_ocamlviz.cm* debian/libocamlviz-ocaml-doc.ocamldoc0000644000000000000000000000007511361136321015037 0ustar -sort -I src/ --include debian/libocamlviz-ocaml-dev/usr/lib debian/compat0000644000000000000000000000000211361136321010361 0ustar 7 debian/patches/0000755000000000000000000000000011361136321010612 5ustar debian/patches/mlpost_byte0000644000000000000000000000054511361136321013102 0ustar --- a/Makefile.in +++ b/Makefile.in @@ -182,7 +182,7 @@ ocamldoc -html -d doc -I src -I +lablgtk2 $(OCAMLDOCFILES) doc/manual.pdf: doc/manual.tex - cd doc && mlpost -native -latex manual.tex -pdf fig.ml && pdflatex manual.tex + cd doc && mlpost -latex manual.tex -pdf fig.ml && pdflatex manual.tex wc: ocamlwc src/*.ml* tests/*.ml* www/*.html -p debian/patches/detect_cairo0000644000000000000000000000042411361136321013162 0ustar --- a/configure.in +++ b/configure.in @@ -143,7 +143,7 @@ fi # checking for cairo -AC_CHECK_FILE($OCAMLLIB/cairo/cairo.cmxa,CAIRO=yes,CAIRO=no) +AC_CHECK_FILE($OCAMLLIB/cairo/cairo.cma,CAIRO=yes,CAIRO=no) if test "$CAIRO" = yes ; then INCLUDECAIRO="-I +cairo" fi debian/patches/series0000644000000000000000000000003111361136321012021 0ustar detect_cairo mlpost_byte debian/control0000644000000000000000000000714311361136321010573 0ustar Source: ocamlviz Section: ocaml Priority: optional Maintainer: Debian OCaml Maintainers Uploaders: Mehdi Dogguy Build-Depends: debhelper (>= 7.0.50), autoconf, automake, ocaml-nox (>= 3.11.1), ocaml-best-compilers, camlp4-extra, dh-ocaml (>= 0.9), liblablgtk2-ocaml-dev, libcairo-ocaml-dev Build-Depends-Indep: mlpost, ocamlweb, texlive-latex-extra Standards-Version: 3.8.4 Homepage: http://ocamlviz.forge.ocamlcore.org/ Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/ocamlviz.git Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/ocamlviz.git Package: ocamlviz Section: devel Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends}, ${ocaml:Depends}, graphviz Recommends: libocamlviz-ocaml-dev Description: real-time profiling tools for Objective Caml (clients) Ocamlviz gives the ability to instrument an existing code, in real time, with lightweight monitoring annotations. Ocamlviz can also be used as a debugging tool. . Here are a few possibilities provided by Ocamlviz: * observe details about the garbage collector * observe how many times the program goes through a point * make a set of values (any) and count its cardinal number and its size in the heap * observe how much time passed between two points of the program * observe the value of integers, floating-point numbers, booleans and strings * observe details about hash tables, like the number of empty buckets, or the filling rate * etc . This package provides two sorts of client output: * an ASCII client, the monitoring is displayed in a file * a Graphical User Interface, using Lablgtk2, that allows, for instance, displaying data in a graph Package: libocamlviz-ocaml-dev Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends}, ${ocaml:Depends}, ocamlviz Recommends: libocamlviz-ocaml-doc Description: real-time profiling tools for Objective Caml (library) Ocamlviz gives the ability to instrument an existing code, in real time, with lightweight monitoring annotations. Ocamlviz can also be used as a debugging tool. . Here are a few possibilities provided by Ocamlviz: * observe details about the garbage collector * observe how many times the program goes through a point * make a set of values (any) and count its cardinal number and its size in the heap * observe how much time passed between two points of the program * observe the value of integers, floating-point numbers, booleans and strings * observe details about hash tables, like the number of empty buckets, or the filling rate * etc . This package provides the Ocamlviz library. Package: libocamlviz-ocaml-doc Section: doc Architecture: all Depends: ${shlibs:Depends}, ${misc:Depends} Description: real-time profiling tools for Objective Caml (documentation) Ocamlviz gives the ability to instrument an existing code, in real time, with lightweight monitoring annotations. Ocamlviz can also be used as a debugging tool. . Here are a few possibilities provided by Ocamlviz: * observe details about the garbage collector * observe how many times the program goes through a point * make a set of values (any) and count its cardinal number and its size in the heap * observe how much time passed between two points of the program * observe the value of integers, floating-point numbers, booleans and strings * observe details about hash tables, like the number of empty buckets, or the filling rate * etc . This package provides the API documentation of the Ocamlviz library generated by ocamldoc out the source code. debian/rules0000755000000000000000000000223311361136321010243 0ustar #!/usr/bin/make -f # -*- makefile -*- include /usr/share/ocaml/ocamlvars.mk OVLIBDIR=$(CURDIR)/debian/libocamlviz-ocaml-dev$(OCAML_STDLIB_DIR)/ocamlviz OVBINDIR=$(CURDIR)/debian/ocamlviz/usr/bin OVVER=$(shell grep ^VERSION Makefile.in | sed "s/VERSION=//") export OCAMLINIT_SED = -e 's/@OVVER@/$(OVVER)/g' override_dh_auto_test: override_dh_auto_configure: autoreconf ./configure --prefix=$(CURDIR)/debian/tmp/usr override_dh_auto_clean: [ ! -f Makefile ] || $(MAKE) clean override_dh_auto_build: $(MAKE) override_dh_auto_install: ifneq (,$(findstring libocamlviz-ocaml-doc,$(shell dh_listpackages))) $(MAKE) doc/manual.pdf cd doc && pdflatex manual.tex cd doc && pdflatex manual.tex endif mkdir -p $(OVBINDIR) mkdir -p $(OVLIBDIR)/camlp4 $(MAKE) OCAMLLIB=$(OVLIBDIR) BINDIR=$(OVBINDIR) install cp debian/META $(OVLIBDIR) for file in monitor_sig protocol ocamlviz_threads; do \ cp src/$${file}.cmi src/$${file}.mli $(OVLIBDIR)/; \ done cp camlp4/pa_ocamlviz.ml $(OVLIBDIR)/camlp4 override_dh_compress: dh_compress -X.pdf override_dh_ocaml: dh_ocaml --nodefined-map libocamlviz-ocaml-dev:Mutex,Condition,ThreadUnix,Thread,Event %: dh --with ocaml $@ debian/source/0000755000000000000000000000000011361136321010463 5ustar debian/source/format0000644000000000000000000000001411361137337011701 0ustar 3.0 (quilt) debian/gbp.conf0000644000000000000000000000027311361136321010604 0ustar [DEFAULT] pristine-tar = True filter = [ "ocamlgraph", "ocamlgraph.tar.gz", "doc/manuals", "src/impact", "src/security", "cil/doc", "tests/test/adpcm.c" ] debian/watch0000644000000000000000000000020511361136321010211 0ustar version=3 https://forge.ocamlcore.org/frs/?group_id=104 \ https://forge.ocamlcore.org/frs/download\.php/258/ocamlviz-(.*)\.tar\.gz debian/META.in0000644000000000000000000000031211361136321010235 0ustar name = "ocamlviz" description = "real-time profiling tools for Objective Caml" version = "@OVVER@" requires = "unix,threads" archive(byte,mt) = "libocamlviz.cma" archive(native,mt) = "libocamlviz.cmxa"