OCaml 4.12.0 build

Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>

.cvsignore

@@ -1 +0,0 @@
-ocamlgraph-1.1.tar.gz

.gitignore

@@ -0,0 +1,4 @@
+/ocamlgraph-1.8.5.tar.gz
+/ocamlgraph-1.8.6.tar.gz
+/ocamlgraph-1.8.7.tar.gz
+/ocamlgraph-1.8.8.tar.gz

Makefile

@@ -1,21 +0,0 @@
-# Makefile for source rpm: ocaml-ocamlgraph
-# $Id$
-NAME := ocaml-ocamlgraph
-SPECFILE = $(firstword $(wildcard *.spec))
-
-define find-makefile-common
-for d in common ../common ../../common ; do if [ -f $$d/Makefile.common ] ; then if [ -f $$d/CVS/Root -a -w $$/Makefile.common ] ; then cd $$d ; cvs -Q update ; fi ; echo "$$d/Makefile.common" ; break ; fi ; done
-endef
-
-MAKEFILE_COMMON := $(shell $(find-makefile-common))
-
-ifeq ($(MAKEFILE_COMMON),)
-# attept a checkout
-define checkout-makefile-common
-test -f CVS/Root && { cvs -Q -d $$(cat CVS/Root) checkout common && echo "common/Makefile.common" ; } || { echo "ERROR: I can't figure out how to checkout the 'common' module." ; exit -1 ; } >&2
-endef
-
-MAKEFILE_COMMON := $(shell $(checkout-makefile-common))
-endif
-
-include $(MAKEFILE_COMMON)

import.log

@@ -1,2 +0,0 @@
-ocaml-ocamlgraph-0_99c-2_fc9:HEAD:ocaml-ocamlgraph-0.99c-2.fc9.src.rpm:1219524338
-ocaml-ocamlgraph-1_1-1_fc10:HEAD:ocaml-ocamlgraph-1.1-1.fc10.src.rpm:1249699549

ocaml-ocamlgraph.spec

@@ -1,42 +1,31 @@
-# Note: rpmlint complains that this package is not marked as
+%global ocaml_destdir %{_libdir}/ocaml
-# noarch. This is not really an error as this is current standard
-# practice for OCaml libraries even though they do not contain
-# architecture dependent files themselves (the devel packages do
-# instead).
-#
-# See https://www.redhat.com/archives/fedora-packaging/2008-August/msg00017.html
-# for a discussion and
-# https://www.redhat.com/archives/fedora-packaging/2008-August/msg00020.html
-# for a potential fix. However, this is probably not the time and
-# place to try to change the standard practice, so for now I will
-# follow standard practice.
-
-%define opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0)
-%define debug_package %{nil}
-%define _use_internal_dependency_generator 0
-%define __find_requires /usr/lib/rpm/ocaml-find-requires.sh
-%define __find_provides /usr/lib/rpm/ocaml-find-provides.sh
 
 Name:           ocaml-ocamlgraph
-Version:        1.1
+Version:        1.8.8
-Release:        1%{?dist}
+Release:        25%{?dist}
 Summary:        OCaml library for arc and node graphs
 
-Group:          Development/Libraries
 License:        LGPLv2 with exceptions
-
+URL:            http://ocamlgraph.lri.fr/index.en.html
-URL:            http://ocamlgraph.lri.fr/
 Source0:        http://ocamlgraph.lri.fr/download/ocamlgraph-%{version}.tar.gz
 Source1:        ocamlgraph-test.result
+# When building the byte variant, do not try to install artifacts that were
+# not built.
+Patch0:         ocamlgraph-1.8.6-byte-install.patch
 
-Patch0:         ocamlgraph-1.1-no-view-graph-doc.patch
+# Fix the tests - unclear why this is necessary.
+Patch1:         ocamlgraph-1.8.7-fix-tests.patch
 
-BuildRoot:      %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
+BuildRequires:  libart_lgpl-devel
-ExcludeArch:    sparc64 s390 s390x
+BuildRequires:  libgnomecanvas-devel
-BuildRequires:  ocaml >= 3.08, ocaml-findlib-devel, ocaml-ocamldoc
+BuildRequires:  make
+BuildRequires:  ocaml
+BuildRequires:  ocaml-findlib
 BuildRequires:  ocaml-lablgtk-devel
-BuildRequires:  gtk2-devel, libgnomecanvas-devel
+BuildRequires:  ocaml-ocamldoc
 
+%global __requires_exclude ocaml\\\(Sig\\\)
+%global libname %(sed -e 's/^ocaml-//' <<< %{name})
 
 %description
 Ocamlgraph provides several different implementations of graph data
@@ -52,8 +41,7 @@ tools.
 
 %package        devel
 Summary:        Development files for %{name}
-Group:          Development/Libraries
+Requires:       %{name}%{?_isa} = %{version}-%{release}
-Requires:       %{name} = %{version}-%{release}
 
 
 %description    devel
@@ -61,76 +49,351 @@ The %{name}-devel package contains libraries and signature files for
 developing applications that use %{name}.
 
 
+%package        tools
+Summary:        Graph editing tools for %{name}
+Requires:       %{name}%{?_isa} = %{version}-%{release}
+
+
+%description    tools
+The %{name}-tools package contains graph editing tools for use with
+%{name}.
+
+
 %prep
-%setup -q -n ocamlgraph-%{version}
+%setup -q -n %{libname}-%{version}
+%ifnarch %{ocaml_native_compiler}
+%patch0
+%endif
+%patch1 -p1
 
-%patch0 -p1
+cp -p %{SOURCE1} .
 
-cp %{SOURCE1} .
+# Fix encoding
+for fil in CHANGES COPYING CREDITS; do
+  iconv -f latin1 -t utf-8 $fil > $fil.utf8
+  touch -r $fil $fil.utf8
+  mv -f $fil.utf8 $fil
+done
 
 
 %build
-./configure --prefix=%{_prefix} --mandir=%{_mandir} --libdir=%{_libdir}
+%configure
 
-%if %opt
+%ifarch %{ocaml_native_compiler}
-%define opt_option OCAMLBEST=opt OCAMLOPT=ocamlopt.opt
+%global opt_option OCAMLBEST=opt OCAMLOPT='ocamlopt.opt -g'
 %else
-%define opt_option OCAMLBEST=byte OCAMLC=ocamlc
+%global opt_option OCAMLBEST=byte OCAMLC=ocamlc
 %endif
+make depend
 make %{opt_option}
 make doc
 
+# Skip the tests on i386; see https://github.com/ocaml/ocaml/issues/9800
+%ifnarch %{ix86}
+%ifarch %{ocaml_native_compiler}
 %check
 make --no-print-directory check >& test
-diff test ocamlgraph-test.result
+diff -u test ocamlgraph-test.result
+%endif
+%endif
 
 
 %install
-rm -rf %{buildroot}
-
-%define ocaml_destdir %{_libdir}/ocaml
 mkdir -p %{buildroot}%{ocaml_destdir}
 make OCAMLFIND_DESTDIR=%{buildroot}%{ocaml_destdir} install-findlib
-rm -f %{buildroot}%{ocaml_destdir}/ocamlgraph/*.cmo
+%ifarch %{ocaml_native_compiler}
+install -m 0755 -p graph.cmxs %{buildroot}%{ocaml_destdir}/%{libname}
+%endif
 
-mkdir -p %{buildroot}%{_defaultdocdir}/%{name}-%{version}/
+# Include all code and examples in the docs
-mkdir -p %{buildroot}%{_defaultdocdir}/%{name}-%{version}-devel/examples/
+mkdir -p dox-devel/examples
-mkdir -p %{buildroot}%{_defaultdocdir}/%{name}-%{version}-devel/API/
+mkdir -p dox-devel/API
-cp -p LICENSE %{buildroot}%{_defaultdocdir}/%{name}-%{version}/
+cp -p examples/*.ml dox-devel/examples
-cp -p README %{buildroot}%{_defaultdocdir}/%{name}-%{version}-devel/
+cp -p doc/* dox-devel/API
-cp -p examples/*.ml %{buildroot}%{_defaultdocdir}/%{name}-%{version}-devel/examples/
-cp -p doc/* %{buildroot}%{_defaultdocdir}/%{name}-%{version}-devel/API/
 
-
+# Install the graph editing tools
-%clean
+mkdir -p %{buildroot}%{_bindir}
-rm -rf %{buildroot}
+%ifarch %{ocaml_native_compiler}
+install -m 0755 -p editor/editor.opt %{buildroot}/%{_bindir}/ocaml-graph-editor
+install -m 0755 -p dgraph/dgraph.opt %{buildroot}%{_bindir}/ocaml-graph-viewer
+install -m 0755 -p view_graph/viewgraph.opt \
+    %{buildroot}%{_bindir}/ocaml-viewgraph
+%else
+install -m 0755 -p editor/editor.byte %{buildroot}/%{_bindir}/ocaml-graph-editor
+install -m 0755 -p dgraph/dgraph.byte %{buildroot}%{_bindir}/ocaml-graph-viewer
+install -m 0755 -p view_graph/viewgraph.byte \
+     %{buildroot}%{_bindir}/ocaml-viewgraph
+%endif
 
 
 %files
-%defattr(-,root,root,-)
+%doc CREDITS FAQ
-%{ocaml_destdir}/ocamlgraph/
+%license COPYING LICENSE
-%if %opt
+%{ocaml_destdir}/%{libname}/
+%ifarch %{ocaml_native_compiler}
 %exclude %{ocaml_destdir}/*/*.a
 %exclude %{ocaml_destdir}/*/*.cmxa
 %exclude %{ocaml_destdir}/*/*.cmx
+%exclude %{ocaml_destdir}/*/*.o
 %endif
 %exclude %{ocaml_destdir}/*/*.mli
-%{_defaultdocdir}/%{name}-%{version}/LICENSE
 
 
 %files devel
-%defattr(-,root,root,-)
+%doc CHANGES README.adoc dox-devel/*
-%if %opt
+%ifarch %{ocaml_native_compiler}
 %{ocaml_destdir}/*/*.a
 %{ocaml_destdir}/*/*.cmxa
 %{ocaml_destdir}/*/*.cmx
+%{ocaml_destdir}/*/*.o
 %endif
 %{ocaml_destdir}/*/*.mli
-# Include all code and examples in the doc directory
+
-%{_defaultdocdir}/%{name}-%{version}-devel/
+
+%files tools
+%{_bindir}/*
 
 
 %changelog
+* Mon Mar  1 16:57:43 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 1.8.8-25
+- OCaml 4.12.0 build
+
+* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.8.8-24
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
+
+* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 1.8.8-23
+- OCaml 4.11.1 rebuild
+
+* Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 1.8.8-22
+- OCaml 4.11.0 rebuild
+
+* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.8.8-21
+- Second attempt - Rebuilt for
+  https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
+
+* Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.8.8-20
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
+
+* Mon May 04 2020 Richard W.M. Jones <rjones@redhat.com> - 1.8.8-19
+- OCaml 4.11.0+dev2-2020-04-22 rebuild
+
+* Tue Apr 21 2020 Richard W.M. Jones <rjones@redhat.com> - 1.8.8-18
+- OCaml 4.11.0 pre-release attempt 2
+
+* Fri Apr 17 2020 Richard W.M. Jones <rjones@redhat.com> - 1.8.8-17
+- OCaml 4.11.0 pre-release
+
+* Thu Apr 02 2020 Richard W.M. Jones <rjones@redhat.com> - 1.8.8-16
+- Update all OCaml dependencies for RPM 4.16.
+
+* Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 1.8.8-15
+- OCaml 4.10.0 final.
+
+* Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.8.8-14
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
+
+* Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 1.8.8-13
+- OCaml 4.10.0+beta1 rebuild.
+
+* Thu Jan 09 2020 Richard W.M. Jones <rjones@redhat.com> - 1.8.8-12
+- OCaml 4.09.0 for riscv64
+
+* Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 1.8.8-11
+- OCaml 4.09.0 (final) rebuild.
+
+* Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 1.8.8-10
+- OCaml 4.08.1 (final) rebuild.
+
+* Sat Aug 10 2019 Richard W.M. Jones <rjones@redhat.com> - 1.8.8-9
+- Rebuild against new ocaml-lablgtk.
+
+* Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 1.8.8-8
+- OCaml 4.08.1 (rc2) rebuild.
+
+* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.8.8-7
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
+
+* Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.8.8-6
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
+
+* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.8.8-5
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
+
+* Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 1.8.8-4
+- OCaml 4.07.0 (final) rebuild.
+
+* Tue Jun 19 2018 Richard W.M. Jones <rjones@redhat.com> - 1.8.8-3
+- OCaml 4.07.0-rc1 rebuild.
+
+* Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.8.8-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
+
+* Wed Nov 08 2017 Richard W.M. Jones <rjones@redhat.com> - 1.8.8-1
+- New upstream version 1.8.8.
+
+* Tue Nov 07 2017 Richard W.M. Jones <rjones@redhat.com> - 1.8.7-11
+- OCaml 4.06.0 rebuild.
+
+* Mon Aug 07 2017 Richard W.M. Jones <rjones@redhat.com> - 1.8.7-10
+- OCaml 4.05.0 rebuild.
+
+* Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.8.7-9
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
+
+* Thu Jul 27 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.8.7-8
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
+
+* Mon Jun 26 2017 Richard W.M. Jones <rjones@redhat.com> - 1.8.7-7
+- OCaml 4.04.2 rebuild.
+
+* Fri May 12 2017 Richard W.M. Jones <rjones@redhat.com> - 1.8.7-6
+- Bump release and rebuild.
+
+* Thu May 11 2017 Richard W.M. Jones <rjones@redhat.com> - 1.8.7-5
+- OCaml 4.04.1 rebuild.
+
+* Sat Feb 11 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.8.7-4
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
+
+* Wed Nov 09 2016 Dan Horák <dan@danny.cz> - 1.8.7-3
+- rebuild for s390x codegen bug
+
+* Sun Nov 06 2016 Richard W.M. Jones <rjones@redhat.com> - 1.8.7-2
+- Rebuild for OCaml 4.04.0.
+
+* Sat Apr 16 2016 Jerry James <loganjerry@gmail.com> - 1.8.7-1
+- New upstream release
+
+* Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 1.8.6-6
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
+
+* Tue Jul 28 2015 Richard W.M. Jones <rjones@redhat.com> - 1.8.6-5
+- OCaml 4.02.3 rebuild.
+
+* Wed Jul 22 2015 Richard W.M. Jones <rjones@redhat.com> - 1.8.6-4
+- Enable bytecode builds.
+
+* Wed Jun 24 2015 Richard W.M. Jones <rjones@redhat.com> - 1.8.6-3
+- ocaml-4.02.2 final rebuild.
+
+* Wed Jun 17 2015 Richard W.M. Jones <rjones@redhat.com> - 1.8.6-2
+- ocaml-4.02.2 rebuild.
+
+* Wed Mar 18 2015 Jerry James <loganjerry@gmail.com> - 1.8.6-1
+- New upstream release
+- Reenable documentation generation
+
+* Mon Feb 16 2015 Richard W.M. Jones <rjones@redhat.com> - 1.8.5-10
+- ocaml-4.02.1 rebuild.
+
+* Thu Oct 30 2014 Jerry James <loganjerry@gmail.com> - 1.8.5-9
+- Rebuild for new ocaml-lablgtk
+- Fix license handling
+
+* Sat Aug 30 2014 Richard W.M. Jones <rjones@redhat.com> - 1.8.5-8
+- ocaml-4.02.0 final rebuild.
+
+* Sat Aug 23 2014 Richard W.M. Jones <rjones@redhat.com> - 1.8.5-7
+- ocaml-4.02.0+rc1 rebuild.
+
+* Sun Aug 17 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.8.5-6
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
+
+* Fri Aug 01 2014 Richard W.M. Jones <rjones@redhat.com> - 1.8.5-5
+- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.
+
+* Wed Jul 23 2014 Richard W.M. Jones <rjones@redhat.com> - 1.8.5-4
+- OCaml 4.02.0 beta rebuild.
+- Disable documentation generation.
+
+* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.8.5-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
+
+* Mon Apr 21 2014 Jerry James <loganjerry@gmail.com> - 1.8.5-1
+- New upstream release
+
+* Tue Apr 15 2014 Richard W.M. Jones <rjones@redhat.com> - 1.8.4-2
+- Remove ocaml_arches macro (RHBZ#1087794).
+
+* Wed Feb 26 2014 Jerry James <loganjerry@gmail.com> - 1.8.4-1
+- New upstream release, 1.8.4+dev, where the "+dev" refers to a bug fix
+  that was applied immediately after the 1.8.4 release
+- Drop upstreamed patch
+- Install graph.cmxs and enable the -debuginfo subpackage
+- Update expected test results
+- BR ocaml-findlib only, not ocaml-findlib-devel
+- Install graph editing tools into -tools subpackage
+- Fix the bytecode build
+
+* Wed Oct 02 2013 Richard W.M. Jones <rjones@redhat.com> - 1.8.3-5
+- Rebuild for ocaml-lablgtk 2.18.
+
+* Sat Sep 14 2013 Richard W.M. Jones <rjones@redhat.com> - 1.8.3-4
+- Rebuild for OCaml 4.01.0.
+
+* Tue Aug  6 2013 Jerry James <loganjerry@gmail.com> - 1.8.3-3
+- Adapt to Rawhide unversioned docdir change (bz 994002)
+
+* Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.8.3-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
+
+* Tue May 14 2013 Jerry James <loganjerry@gmail.com> - 1.8.3-1
+- New upstream release
+
+* Thu Feb 14 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.8.2-3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
+
+* Wed Oct 17 2012 Jerry James <loganjerry@gmail.com> - 1.8.2-2
+- Rebuild for OCaml 4.00.1.
+
+* Mon Jul 30 2012 Jerry James <loganjerry@gmail.com> - 1.8.2-1
+- New upstream release
+
+* Fri Jul 20 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.8.1-4
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
+
+* Mon Jun 11 2012 Richard W.M. Jones <rjones@redhat.com> - 1.8.1-3
+- Rebuild for OCaml 4.00.0.
+
+* Sat Jan  7 2012 Jerry James <loganjerry@gmail.com> - 1.8.1-2
+- Rebuild for OCaml 3.12.1
+
+* Tue Oct 25 2011 Jerry James <loganjerry@gmail.com> - 1.8.1-1
+- New upstream release
+
+* Mon Jul 11 2011 Jerry James <loganjerry@gmail.com> - 1.7-1
+- New upstream release
+- Drop unnecessary spec file elements (BuildRoot, etc.)
+- Drop dependency generation workaround for Fedora 12 and earlier
+- Remove spurious executable bits on source files
+- Replace the definition of __ocaml_requires_opts to "-i Sig", which removes
+  the legitimate Requires: ocaml(GtkSignal), with __requires_exclude.
+
+* Tue Feb 08 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.6-3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
+
+* Fri Jan 21 2011 Richard W.M. Jones <rjones@redhat.com> - 1.6-2
+- Ignore ocaml(Sig) symbol.
+
+* Mon Jan 10 2011 Richard W.M. Jones <rjones@redhat.com> - 1.6-1
+- New upstream version 1.6.
+- Rebuild for OCaml 3.12.
+- Remove obsolete patches and add patch to fix install-findlib rule.
+
+* Wed Feb 10 2010 Alan Dunn <amdunn@gmail.com> - 1.3-3
+- Include files (including .cmo files) and install more files that are
+  needed by other applications (eg: Frama-C) that depend on
+  ocaml-ocamlgraph
+- define -> global
+- Update for new dependency generator in F13
+
+* Wed Dec 30 2009 Richard W.M. Jones <rjones@redhat.com> - 1.3-2
+- Rebuild for OCaml 3.11.2.
+
+* Thu Oct  8 2009 Richard W.M. Jones <rjones@redhat.com> - 1.3-1
+- New upstream release 1.3.
+- A slightly different viewGraph-related patch is required for this release.
+
 * Fri Aug 07 2009 Alan Dunn <amdunn@gmail.com> - 1.1-1
 - New upstream release 1.1.
 - Makefile patch updated (still not incorporated upstream).

ocamlgraph-1.1-no-view-graph-doc.patch

@@ -1,11 +0,0 @@
---- ocamlgraph-1.1/Makefile.in.orig	2009-08-07 22:07:11.000000000 -0400
-+++ ocamlgraph-1.1/Makefile.in	2009-08-07 22:07:29.000000000 -0400
-@@ -298,7 +298,7 @@
- 	mkdir -p doc
- 	rm -f doc/*
- 	$(OCAMLDOC) -d doc -html $(INCLUDES) $(DOC_SRC)
--	$(MAKE) -C $(VIEWER_DIR) doc
-+#	$(MAKE) -C $(VIEWER_DIR) doc
- 
- # literate programming
- $(NAME).tex: $(DOC_SRC)

ocamlgraph-1.8.6-byte-install.patch

@@ -0,0 +1,23 @@
+--- Makefile.in.orig	2015-01-23 00:24:01.000000000 -0700
++++ Makefile.in	2015-03-17 20:00:00.000000000 -0600
+@@ -426,16 +426,13 @@
+ ifeq (@LABLGNOMECANVAS@,yes)
+ 	$(OCAMLFIND) install $(OCAMLFINDDEST) ocamlgraph META \
+ 		$(SRCDIR)/*.mli $(VIEWER_DIR)/*.mli $(DGRAPH_DIR)/*.mli \
+-		graph$(OBJEXT) graph$(LIBEXT) graph.cmx graph.cmo graph.cmi \
+-		$(CMA) $(CMXA) \
+-		$(VIEWER_CMXLIB) $(VIEWER_CMOLIB) $(VIEWER_CMILIB) \
+-                $(VIEWER_CMXLIB:.cmx=.o) \
+-                $(DGRAPH_CMXLIB) $(DGRAPH_CMOLIB) $(DGRAPH_CMILIB) \
+-                $(DGRAPH_CMXLIB:.cmx=.o)
++		graph.cmo graph.cmi $(CMA) \
++		$(VIEWER_CMOLIB) $(VIEWER_CMILIB) \
++		$(DGRAPH_CMOLIB) $(DGRAPH_CMILIB)
+ else
+ 	$(OCAMLFIND) install $(OCAMLFINDDEST) ocamlgraph META \
+ 		$(SRCDIR)/*.mli $(VIEWER_DIR)/*.mli $(DGRAPH_DIR)/*.mli \
+-		graph$(LIBEXT) graph.cmx graph.cmo graph.cmi $(CMA) $(CMXA)
++		graph.cmo graph.cmi $(CMA)
+ endif
+ endif
+ 

ocamlgraph-1.8.7-fix-tests.patch

@@ -0,0 +1,10 @@
+--- ocamlgraph-1.8.7/tests/test_clique.ml~	2016-04-12 07:47:33.000000000 +0100
++++ ocamlgraph-1.8.7/tests/test_clique.ml	2016-11-06 19:49:38.527278156 +0000
+@@ -1,5 +1,7 @@
+ (* Test file for Brom-Kerbosch *)
+ 
++#directory ".";;
++
+ open Graph
+ 
+ module G = Persistent.Graph.Concrete (struct 

ocamlgraph-test.result

@@ -1,25 +1,550 @@
-ocaml graph.cma tests/check.ml
+mkdir -p bin
-iter:
+ocamlopt.opt -o bin/test-ts unix.cmxa graph.cmxa tests/test_topsort.ml
-pre 3
+ocaml -I . graph.cma tests/test_clique.ml tests/check.ml
-pre 5
+bin/test-ts 10
-pre 4
+0 1 2 
-pre 2
+x=0 y=0 num(x)=1 num(y)=1
-post 2
+x-->y=true  y-->x=true
-post 4
+x=0 y=1 num(x)=1 num(y)=2
-post 5
+x-->y=true  y-->x=false
-pre 6
+x=0 y=2 num(x)=1 num(y)=3
-post 6
+x-->y=true  y-->x=false
-post 3
+x=1 y=0 num(x)=2 num(y)=1
-prefix:
+x-->y=false  y-->x=true
-pre 3
+x=1 y=1 num(x)=2 num(y)=2
-pre 6
+x-->y=true  y-->x=true
-pre 5
+x=1 y=2 num(x)=2 num(y)=3
-pre 4
+x-->y=true  y-->x=false
-pre 2
+x=2 y=0 num(x)=3 num(y)=1
-step:
+x-->y=false  y-->x=true
-visit 6
+x=2 y=1 num(x)=3 num(y)=2
-visit 5
+x-->y=false  y-->x=true
-visit 4
+x=2 y=2 num(x)=3 num(y)=3
-visit 2
+x-->y=true  y-->x=true
-visit 3
+0 1 2 
-visit 1
+x=0 y=0 num(x)=1 num(y)=1
+x-->y=true  y-->x=true
+x=0 y=1 num(x)=1 num(y)=2
+x-->y=false  y-->x=false
+x=0 y=2 num(x)=1 num(y)=3
+x-->y=false  y-->x=false
+x=1 y=0 num(x)=2 num(y)=1
+x-->y=false  y-->x=false
+x=1 y=1 num(x)=2 num(y)=2
+x-->y=true  y-->x=true
+x=1 y=2 num(x)=2 num(y)=3
+x-->y=false  y-->x=false
+x=2 y=0 num(x)=3 num(y)=1
+x-->y=false  y-->x=false
+x=2 y=1 num(x)=3 num(y)=2
+x-->y=false  y-->x=false
+x=2 y=2 num(x)=3 num(y)=3
+x-->y=true  y-->x=true
+0 
+x=0 y=0 num(x)=1 num(y)=1
+x-->y=true  y-->x=true
+0 1 
+x=0 y=0 num(x)=1 num(y)=1
+x-->y=true  y-->x=true
+x=0 y=1 num(x)=1 num(y)=2
+x-->y=true  y-->x=true
+x=1 y=0 num(x)=2 num(y)=1
+x-->y=true  y-->x=true
+x=1 y=1 num(x)=2 num(y)=2
+x-->y=true  y-->x=true
+0 1 2 
+x=0 y=0 num(x)=1 num(y)=1
+x-->y=true  y-->x=true
+x=0 y=1 num(x)=1 num(y)=2
+x-->y=true  y-->x=true
+x=0 y=2 num(x)=1 num(y)=3
+x-->y=true  y-->x=false
+x=1 y=0 num(x)=2 num(y)=1
+x-->y=true  y-->x=true
+x=1 y=1 num(x)=2 num(y)=2
+x-->y=true  y-->x=true
+x=1 y=2 num(x)=2 num(y)=3
+x-->y=true  y-->x=false
+x=2 y=0 num(x)=3 num(y)=1
+x-->y=false  y-->x=true
+x=2 y=1 num(x)=3 num(y)=2
+x-->y=false  y-->x=true
+x=2 y=2 num(x)=3 num(y)=3
+x-->y=true  y-->x=true
+0 2 1 
+x=0 y=0 num(x)=1 num(y)=1
+x-->y=true  y-->x=true
+x=0 y=1 num(x)=1 num(y)=3
+x-->y=true  y-->x=false
+x=0 y=2 num(x)=1 num(y)=2
+x-->y=true  y-->x=true
+x=1 y=0 num(x)=3 num(y)=1
+x-->y=false  y-->x=true
+x=1 y=1 num(x)=3 num(y)=3
+x-->y=true  y-->x=true
+x=1 y=2 num(x)=3 num(y)=2
+x-->y=false  y-->x=true
+x=2 y=0 num(x)=2 num(y)=1
+x-->y=true  y-->x=true
+x=2 y=1 num(x)=2 num(y)=3
+x-->y=true  y-->x=false
+x=2 y=2 num(x)=2 num(y)=2
+x-->y=true  y-->x=true
+1 2 0 
+x=0 y=0 num(x)=3 num(y)=3
+x-->y=true  y-->x=true
+x=0 y=1 num(x)=3 num(y)=1
+x-->y=false  y-->x=true
+x=0 y=2 num(x)=3 num(y)=2
+x-->y=false  y-->x=true
+x=1 y=0 num(x)=1 num(y)=3
+x-->y=true  y-->x=false
+x=1 y=1 num(x)=1 num(y)=1
+x-->y=true  y-->x=true
+x=1 y=2 num(x)=1 num(y)=2
+x-->y=true  y-->x=true
+x=2 y=0 num(x)=2 num(y)=3
+x-->y=true  y-->x=false
+x=2 y=1 num(x)=2 num(y)=1
+x-->y=true  y-->x=true
+x=2 y=2 num(x)=2 num(y)=2
+x-->y=true  y-->x=true
+1 2 3 4 0 
+x=0 y=0 num(x)=5 num(y)=5
+x-->y=true  y-->x=true
+x=0 y=1 num(x)=5 num(y)=1
+x-->y=false  y-->x=true
+x=0 y=2 num(x)=5 num(y)=2
+x-->y=false  y-->x=true
+x=0 y=3 num(x)=5 num(y)=3
+x-->y=false  y-->x=false
+x=0 y=4 num(x)=5 num(y)=4
+x-->y=false  y-->x=false
+x=1 y=0 num(x)=1 num(y)=5
+x-->y=true  y-->x=false
+x=1 y=1 num(x)=1 num(y)=1
+x-->y=true  y-->x=true
+x=1 y=2 num(x)=1 num(y)=2
+x-->y=true  y-->x=true
+x=1 y=3 num(x)=1 num(y)=3
+x-->y=false  y-->x=false
+x=1 y=4 num(x)=1 num(y)=4
+x-->y=false  y-->x=false
+x=2 y=0 num(x)=2 num(y)=5
+x-->y=true  y-->x=false
+x=2 y=1 num(x)=2 num(y)=1
+x-->y=true  y-->x=true
+x=2 y=2 num(x)=2 num(y)=2
+x-->y=true  y-->x=true
+x=2 y=3 num(x)=2 num(y)=3
+x-->y=false  y-->x=false
+x=2 y=4 num(x)=2 num(y)=4
+x-->y=false  y-->x=false
+x=3 y=0 num(x)=3 num(y)=5
+x-->y=false  y-->x=false
+x=3 y=1 num(x)=3 num(y)=1
+x-->y=false  y-->x=false
+x=3 y=2 num(x)=3 num(y)=2
+x-->y=false  y-->x=false
+x=3 y=3 num(x)=3 num(y)=3
+x-->y=true  y-->x=true
+x=3 y=4 num(x)=3 num(y)=4
+x-->y=true  y-->x=true
+x=4 y=0 num(x)=4 num(y)=5
+x-->y=false  y-->x=false
+x=4 y=1 num(x)=4 num(y)=1
+x-->y=false  y-->x=false
+x=4 y=2 num(x)=4 num(y)=2
+x-->y=false  y-->x=false
+x=4 y=3 num(x)=4 num(y)=3
+x-->y=true  y-->x=true
+x=4 y=4 num(x)=4 num(y)=4
+x-->y=true  y-->x=true
+0 1 2 
+x=0 y=0 num(x)=1 num(y)=1
+x-->y=true  y-->x=true
+x=0 y=1 num(x)=1 num(y)=2
+x-->y=true  y-->x=false
+x=0 y=2 num(x)=1 num(y)=3
+x-->y=true  y-->x=false
+x=1 y=0 num(x)=2 num(y)=1
+x-->y=false  y-->x=true
+x=1 y=1 num(x)=2 num(y)=2
+x-->y=true  y-->x=true
+x=1 y=2 num(x)=2 num(y)=3
+x-->y=true  y-->x=true
+x=2 y=0 num(x)=3 num(y)=1
+x-->y=false  y-->x=true
+x=2 y=1 num(x)=3 num(y)=2
+x-->y=true  y-->x=true
+x=2 y=2 num(x)=3 num(y)=3
+x-->y=true  y-->x=true
+0 1 2 
+x=0 y=0 num(x)=1 num(y)=1
+x-->y=true  y-->x=true
+x=0 y=1 num(x)=1 num(y)=2
+x-->y=true  y-->x=false
+x=0 y=2 num(x)=1 num(y)=3
+x-->y=true  y-->x=false
+x=1 y=0 num(x)=2 num(y)=1
+x-->y=false  y-->x=true
+x=1 y=1 num(x)=2 num(y)=2
+x-->y=true  y-->x=true
+x=1 y=2 num(x)=2 num(y)=3
+x-->y=true  y-->x=true
+x=2 y=0 num(x)=3 num(y)=1
+x-->y=false  y-->x=true
+x=2 y=1 num(x)=3 num(y)=2
+x-->y=true  y-->x=true
+x=2 y=2 num(x)=3 num(y)=3
+x-->y=true  y-->x=true
+2 3 0 1 
+x=0 y=0 num(x)=3 num(y)=3
+x-->y=true  y-->x=true
+x=0 y=1 num(x)=3 num(y)=4
+x-->y=true  y-->x=true
+x=0 y=2 num(x)=3 num(y)=1
+x-->y=false  y-->x=true
+x=0 y=3 num(x)=3 num(y)=2
+x-->y=false  y-->x=true
+x=1 y=0 num(x)=4 num(y)=3
+x-->y=true  y-->x=true
+x=1 y=1 num(x)=4 num(y)=4
+x-->y=true  y-->x=true
+x=1 y=2 num(x)=4 num(y)=1
+x-->y=false  y-->x=true
+x=1 y=3 num(x)=4 num(y)=2
+x-->y=false  y-->x=true
+x=2 y=0 num(x)=1 num(y)=3
+x-->y=true  y-->x=false
+x=2 y=1 num(x)=1 num(y)=4
+x-->y=true  y-->x=false
+x=2 y=2 num(x)=1 num(y)=1
+x-->y=true  y-->x=true
+x=2 y=3 num(x)=1 num(y)=2
+x-->y=true  y-->x=true
+x=3 y=0 num(x)=2 num(y)=3
+x-->y=true  y-->x=false
+x=3 y=1 num(x)=2 num(y)=4
+x-->y=true  y-->x=false
+x=3 y=2 num(x)=2 num(y)=1
+x-->y=true  y-->x=true
+x=3 y=3 num(x)=2 num(y)=2
+x-->y=true  y-->x=true
+0 1 2 3 
+x=0 y=0 num(x)=1 num(y)=1
+x-->y=true  y-->x=true
+x=0 y=1 num(x)=1 num(y)=2
+x-->y=true  y-->x=true
+x=0 y=2 num(x)=1 num(y)=3
+x-->y=true  y-->x=false
+x=0 y=3 num(x)=1 num(y)=4
+x-->y=true  y-->x=false
+x=1 y=0 num(x)=2 num(y)=1
+x-->y=true  y-->x=true
+x=1 y=1 num(x)=2 num(y)=2
+x-->y=true  y-->x=true
+x=1 y=2 num(x)=2 num(y)=3
+x-->y=true  y-->x=false
+x=1 y=3 num(x)=2 num(y)=4
+x-->y=true  y-->x=false
+x=2 y=0 num(x)=3 num(y)=1
+x-->y=false  y-->x=true
+x=2 y=1 num(x)=3 num(y)=2
+x-->y=false  y-->x=true
+x=2 y=2 num(x)=3 num(y)=3
+x-->y=true  y-->x=true
+x=2 y=3 num(x)=3 num(y)=4
+x-->y=true  y-->x=true
+x=3 y=0 num(x)=4 num(y)=1
+x-->y=false  y-->x=true
+x=3 y=1 num(x)=4 num(y)=2
+x-->y=false  y-->x=true
+x=3 y=2 num(x)=4 num(y)=3
+x-->y=true  y-->x=true
+x=3 y=3 num(x)=4 num(y)=4
+x-->y=true  y-->x=true
+0 1 2 3 
+x=0 y=0 num(x)=1 num(y)=1
+x-->y=true  y-->x=true
+x=0 y=1 num(x)=1 num(y)=2
+x-->y=true  y-->x=true
+x=0 y=2 num(x)=1 num(y)=3
+x-->y=true  y-->x=true
+x=0 y=3 num(x)=1 num(y)=4
+x-->y=true  y-->x=true
+x=1 y=0 num(x)=2 num(y)=1
+x-->y=true  y-->x=true
+x=1 y=1 num(x)=2 num(y)=2
+x-->y=true  y-->x=true
+x=1 y=2 num(x)=2 num(y)=3
+x-->y=true  y-->x=true
+x=1 y=3 num(x)=2 num(y)=4
+x-->y=true  y-->x=true
+x=2 y=0 num(x)=3 num(y)=1
+x-->y=true  y-->x=true
+x=2 y=1 num(x)=3 num(y)=2
+x-->y=true  y-->x=true
+x=2 y=2 num(x)=3 num(y)=3
+x-->y=true  y-->x=true
+x=2 y=3 num(x)=3 num(y)=4
+x-->y=true  y-->x=true
+x=3 y=0 num(x)=4 num(y)=1
+x-->y=true  y-->x=true
+x=3 y=1 num(x)=4 num(y)=2
+x-->y=true  y-->x=true
+x=3 y=2 num(x)=4 num(y)=3
+x-->y=true  y-->x=true
+x=3 y=3 num(x)=4 num(y)=4
+x-->y=true  y-->x=true
+3 0 1 2 4 
+x=0 y=0 num(x)=2 num(y)=2
+x-->y=true  y-->x=true
+x=0 y=1 num(x)=2 num(y)=3
+x-->y=true  y-->x=true
+x=0 y=2 num(x)=2 num(y)=4
+x-->y=true  y-->x=true
+x=0 y=3 num(x)=2 num(y)=1
+x-->y=false  y-->x=true
+x=0 y=4 num(x)=2 num(y)=5
+x-->y=true  y-->x=false
+x=1 y=0 num(x)=3 num(y)=2
+x-->y=true  y-->x=true
+x=1 y=1 num(x)=3 num(y)=3
+x-->y=true  y-->x=true
+x=1 y=2 num(x)=3 num(y)=4
+x-->y=true  y-->x=true
+x=1 y=3 num(x)=3 num(y)=1
+x-->y=false  y-->x=true
+x=1 y=4 num(x)=3 num(y)=5
+x-->y=true  y-->x=false
+x=2 y=0 num(x)=4 num(y)=2
+x-->y=true  y-->x=true
+x=2 y=1 num(x)=4 num(y)=3
+x-->y=true  y-->x=true
+x=2 y=2 num(x)=4 num(y)=4
+x-->y=true  y-->x=true
+x=2 y=3 num(x)=4 num(y)=1
+x-->y=false  y-->x=true
+x=2 y=4 num(x)=4 num(y)=5
+x-->y=true  y-->x=false
+x=3 y=0 num(x)=1 num(y)=2
+x-->y=true  y-->x=false
+x=3 y=1 num(x)=1 num(y)=3
+x-->y=true  y-->x=false
+x=3 y=2 num(x)=1 num(y)=4
+x-->y=true  y-->x=false
+x=3 y=3 num(x)=1 num(y)=1
+x-->y=true  y-->x=true
+x=3 y=4 num(x)=1 num(y)=5
+x-->y=true  y-->x=false
+x=4 y=0 num(x)=5 num(y)=2
+x-->y=false  y-->x=true
+x=4 y=1 num(x)=5 num(y)=3
+x-->y=false  y-->x=true
+x=4 y=2 num(x)=5 num(y)=4
+x-->y=false  y-->x=true
+x=4 y=3 num(x)=5 num(y)=1
+x-->y=false  y-->x=true
+x=4 y=4 num(x)=5 num(y)=5
+x-->y=true  y-->x=true
+0 1 2 3 4 5 6 
+x=0 y=0 num(x)=1 num(y)=1
+x-->y=true  y-->x=true
+x=0 y=1 num(x)=1 num(y)=2
+x-->y=true  y-->x=true
+x=0 y=2 num(x)=1 num(y)=3
+x-->y=true  y-->x=false
+x=0 y=3 num(x)=1 num(y)=4
+x-->y=true  y-->x=false
+x=0 y=4 num(x)=1 num(y)=5
+x-->y=true  y-->x=false
+x=0 y=5 num(x)=1 num(y)=6
+x-->y=true  y-->x=false
+x=0 y=6 num(x)=1 num(y)=7
+x-->y=true  y-->x=false
+x=1 y=0 num(x)=2 num(y)=1
+x-->y=true  y-->x=true
+x=1 y=1 num(x)=2 num(y)=2
+x-->y=true  y-->x=true
+x=1 y=2 num(x)=2 num(y)=3
+x-->y=true  y-->x=false
+x=1 y=3 num(x)=2 num(y)=4
+x-->y=true  y-->x=false
+x=1 y=4 num(x)=2 num(y)=5
+x-->y=true  y-->x=false
+x=1 y=5 num(x)=2 num(y)=6
+x-->y=true  y-->x=false
+x=1 y=6 num(x)=2 num(y)=7
+x-->y=true  y-->x=false
+x=2 y=0 num(x)=3 num(y)=1
+x-->y=false  y-->x=true
+x=2 y=1 num(x)=3 num(y)=2
+x-->y=false  y-->x=true
+x=2 y=2 num(x)=3 num(y)=3
+x-->y=true  y-->x=true
+x=2 y=3 num(x)=3 num(y)=4
+x-->y=true  y-->x=true
+x=2 y=4 num(x)=3 num(y)=5
+x-->y=true  y-->x=false
+x=2 y=5 num(x)=3 num(y)=6
+x-->y=true  y-->x=false
+x=2 y=6 num(x)=3 num(y)=7
+x-->y=true  y-->x=false
+x=3 y=0 num(x)=4 num(y)=1
+x-->y=false  y-->x=true
+x=3 y=1 num(x)=4 num(y)=2
+x-->y=false  y-->x=true
+x=3 y=2 num(x)=4 num(y)=3
+x-->y=true  y-->x=true
+x=3 y=3 num(x)=4 num(y)=4
+x-->y=true  y-->x=true
+x=3 y=4 num(x)=4 num(y)=5
+x-->y=true  y-->x=false
+x=3 y=5 num(x)=4 num(y)=6
+x-->y=true  y-->x=false
+x=3 y=6 num(x)=4 num(y)=7
+x-->y=true  y-->x=false
+x=4 y=0 num(x)=5 num(y)=1
+x-->y=false  y-->x=true
+x=4 y=1 num(x)=5 num(y)=2
+x-->y=false  y-->x=true
+x=4 y=2 num(x)=5 num(y)=3
+x-->y=false  y-->x=true
+x=4 y=3 num(x)=5 num(y)=4
+x-->y=false  y-->x=true
+x=4 y=4 num(x)=5 num(y)=5
+x-->y=true  y-->x=true
+x=4 y=5 num(x)=5 num(y)=6
+x-->y=true  y-->x=true
+x=4 y=6 num(x)=5 num(y)=7
+x-->y=true  y-->x=true
+x=5 y=0 num(x)=6 num(y)=1
+x-->y=false  y-->x=true
+x=5 y=1 num(x)=6 num(y)=2
+x-->y=false  y-->x=true
+x=5 y=2 num(x)=6 num(y)=3
+x-->y=false  y-->x=true
+x=5 y=3 num(x)=6 num(y)=4
+x-->y=false  y-->x=true
+x=5 y=4 num(x)=6 num(y)=5
+x-->y=true  y-->x=true
+x=5 y=5 num(x)=6 num(y)=6
+x-->y=true  y-->x=true
+x=5 y=6 num(x)=6 num(y)=7
+x-->y=true  y-->x=true
+x=6 y=0 num(x)=7 num(y)=1
+x-->y=false  y-->x=true
+x=6 y=1 num(x)=7 num(y)=2
+x-->y=false  y-->x=true
+x=6 y=2 num(x)=7 num(y)=3
+x-->y=false  y-->x=true
+x=6 y=3 num(x)=7 num(y)=4
+x-->y=false  y-->x=true
+x=6 y=4 num(x)=7 num(y)=5
+x-->y=true  y-->x=true
+x=6 y=5 num(x)=7 num(y)=6
+x-->y=true  y-->x=true
+x=6 y=6 num(x)=7 num(y)=7
+x-->y=true  y-->x=true
+0 1 2 3 4 5 6 
+x=0 y=0 num(x)=1 num(y)=1
+x-->y=true  y-->x=true
+x=0 y=1 num(x)=1 num(y)=2
+x-->y=true  y-->x=true
+x=0 y=2 num(x)=1 num(y)=3
+x-->y=true  y-->x=false
+x=0 y=3 num(x)=1 num(y)=4
+x-->y=true  y-->x=false
+x=0 y=4 num(x)=1 num(y)=5
+x-->y=true  y-->x=false
+x=0 y=5 num(x)=1 num(y)=6
+x-->y=true  y-->x=false
+x=0 y=6 num(x)=1 num(y)=7
+x-->y=true  y-->x=false
+x=1 y=0 num(x)=2 num(y)=1
+x-->y=true  y-->x=true
+x=1 y=1 num(x)=2 num(y)=2
+x-->y=true  y-->x=true
+x=1 y=2 num(x)=2 num(y)=3
+x-->y=true  y-->x=false
+x=1 y=3 num(x)=2 num(y)=4
+x-->y=true  y-->x=false
+x=1 y=4 num(x)=2 num(y)=5
+x-->y=true  y-->x=false
+x=1 y=5 num(x)=2 num(y)=6
+x-->y=true  y-->x=false
+x=1 y=6 num(x)=2 num(y)=7
+x-->y=true  y-->x=false
+x=2 y=0 num(x)=3 num(y)=1
+x-->y=false  y-->x=true
+x=2 y=1 num(x)=3 num(y)=2
+x-->y=false  y-->x=true
+x=2 y=2 num(x)=3 num(y)=3
+x-->y=true  y-->x=true
+x=2 y=3 num(x)=3 num(y)=4
+x-->y=true  y-->x=true
+x=2 y=4 num(x)=3 num(y)=5
+x-->y=true  y-->x=true
+x=2 y=5 num(x)=3 num(y)=6
+x-->y=true  y-->x=true
+x=2 y=6 num(x)=3 num(y)=7
+x-->y=true  y-->x=true
+x=3 y=0 num(x)=4 num(y)=1
+x-->y=false  y-->x=true
+x=3 y=1 num(x)=4 num(y)=2
+x-->y=false  y-->x=true
+x=3 y=2 num(x)=4 num(y)=3
+x-->y=true  y-->x=true
+x=3 y=3 num(x)=4 num(y)=4
+x-->y=true  y-->x=true
+x=3 y=4 num(x)=4 num(y)=5
+x-->y=true  y-->x=true
+x=3 y=5 num(x)=4 num(y)=6
+x-->y=true  y-->x=true
+x=3 y=6 num(x)=4 num(y)=7
+x-->y=true  y-->x=true
+x=4 y=0 num(x)=5 num(y)=1
+x-->y=false  y-->x=true
+x=4 y=1 num(x)=5 num(y)=2
+x-->y=false  y-->x=true
+x=4 y=2 num(x)=5 num(y)=3
+x-->y=true  y-->x=true
+x=4 y=3 num(x)=5 num(y)=4
+x-->y=true  y-->x=true
+x=4 y=4 num(x)=5 num(y)=5
+x-->y=true  y-->x=true
+x=4 y=5 num(x)=5 num(y)=6
+x-->y=true  y-->x=true
+x=4 y=6 num(x)=5 num(y)=7
+x-->y=true  y-->x=true
+x=5 y=0 num(x)=6 num(y)=1
+x-->y=false  y-->x=true
+x=5 y=1 num(x)=6 num(y)=2
+x-->y=false  y-->x=true
+x=5 y=2 num(x)=6 num(y)=3
+x-->y=true  y-->x=true
+x=5 y=3 num(x)=6 num(y)=4
+x-->y=true  y-->x=true
+x=5 y=4 num(x)=6 num(y)=5
+x-->y=true  y-->x=true
+x=5 y=5 num(x)=6 num(y)=6
+x-->y=true  y-->x=true
+x=5 y=6 num(x)=6 num(y)=7
+x-->y=true  y-->x=true
+x=6 y=0 num(x)=7 num(y)=1
+x-->y=false  y-->x=true
+x=6 y=1 num(x)=7 num(y)=2
+x-->y=false  y-->x=true
+x=6 y=2 num(x)=7 num(y)=3
+x-->y=true  y-->x=true
+x=6 y=3 num(x)=7 num(y)=4
+x-->y=true  y-->x=true
+x=6 y=4 num(x)=7 num(y)=5
+x-->y=true  y-->x=true
+x=6 y=5 num(x)=7 num(y)=6
+x-->y=true  y-->x=true
+x=6 y=6 num(x)=7 num(y)=7
+x-->y=true  y-->x=true
+All tests succeeded.
+

sources

@@ -1 +1 @@
-62cf4b0c273db2af1dbf4f8fac957bfc  ocamlgraph-1.1.tar.gz
+SHA512 (ocamlgraph-1.8.8.tar.gz) = ccb07d4a7fb0c3026ad2d4563e1ca0a88483ac3cf43c9378989ae5c031961853a11c9673c06b54a16733c5755d9c0a2783c5f475afdcc7692d2bf3d4778f5bc5