debian/0000755000000000000000000000000012256060753007174 5ustar debian/changelog0000644000000000000000000000232112256060753011044 0ustar ocaml-deriving (0.1.1a-3build4) trusty; urgency=medium * Rebuild for ocaml-4.01. -- Matthias Klose Mon, 23 Dec 2013 16:16:44 +0000 ocaml-deriving (0.1.1a-3build3) precise; urgency=low * Rebuild with ocamlopt on armhf. -- Colin Watson Tue, 24 Jan 2012 10:44:20 +0000 ocaml-deriving (0.1.1a-3build2) precise; urgency=low * Rebuild for OCaml 3.12.1. -- Colin Watson Sat, 19 Nov 2011 00:47:27 +0000 ocaml-deriving (0.1.1a-3build1) oneiric; urgency=low * Rebuild to pick up ocaml fixes on armel. -- Adam Conrad Wed, 24 Aug 2011 16:27:25 -0600 ocaml-deriving (0.1.1a-3) unstable; urgency=low * Team upload * Switch patches to dom-{apply,save}-patches scheme * Cherry-pick fixes for 3.12.0 from upstream (fixes FTBFS) -- Stéphane Glondu Mon, 18 Apr 2011 16:04:24 +0200 ocaml-deriving (0.1.1a-2) unstable; urgency=low * Add Source field to debian/copyright -- Sylvain Le Gall Fri, 18 Feb 2011 00:47:42 +0100 ocaml-deriving (0.1.1a-1) unstable; urgency=low * Initial release. (Closes: #605682) -- Sylvain Le Gall Tue, 07 Dec 2010 22:21:04 +0100 debian/libderiving-ocaml.install.in0000644000000000000000000000007711553042145014556 0ustar @OCamlStdlibDir@/deriving/META @OCamlStdlibDir@/deriving/*.cma debian/libderiving-ocaml-dev.install.in0000644000000000000000000000030011553042145015317 0ustar @OCamlStdlibDir@/deriving/*.cmi @OCamlStdlibDir@/deriving/*.mli OPT: @OCamlStdlibDir@/deriving/*.cmxa OPT: @OCamlStdlibDir@/deriving/*.a OPT: @OCamlStdlibDir@/deriving/*.cmx /usr/bin/deriving debian/deriving.10000644000000000000000000000047711553042145011067 0ustar .TH DERIVING 1 "December 7, 2010" "deriving User Manual" .SH NAME .PP deriving - camlp4 with deriving syntax extension. .SH SYNOPSIS .PP deriving [options] file .SH DESCRIPTION .PP This executable is camlp4 relinked with the deriving syntax extension. .SH SEE ALSO .PP \f[B]camlp4\f[] (1) .SH AUTHORS Sylvain Le Gall. debian/rules0000755000000000000000000000203311553042145010244 0ustar #!/usr/bin/make -f # -*- makefile -*- # Uncomment this to turn on verbose mode. #export DH_VERBOSE=1 DESTDIR=$(CURDIR)/debian/tmp include /usr/share/ocaml/ocamlvars.mk OCAMLFIND_DESTDIR=$(DESTDIR)/$(OCAML_STDLIB_DIR) export OCAMLFIND_DESTDIR OCAMLFIND_LDCONF=ignore export OCAMLFIND_LDCONF %: dh --with ocaml $@ .PHONY: override_dh_auto_build override_dh_auto_build: ifeq ($(OCAML_HAVE_OCAMLOPT),yes) $(MAKE) built else $(MAKE) -C syntax $(MAKE) -C lib bcl endif .PHONY: override_dh_auto_install override_dh_auto_install: mkdir -p '$(OCAMLFIND_DESTDIR)' mkdir -p '$(DESTDIR)/usr/bin' ocamlfind install deriving \ debian/META \ -patch-version $$(dpkg-parsechangelog | grep 'Version: ' | cut -d : -f 2) \ $(wildcard lib/*.cma lib/*.cmxa lib/*.a lib/*.mli lib/*.cmi lib/*.cmx) install -m 0755 syntax/deriving '$(DESTDIR)/usr/bin' .PHONY: override_dh_install override_dh_install: dh_install --fail-missing .PHONY: override_dh_auto_clean override_dh_auto_clean: $(MAKE) clean debian/%.1: debian/%.mkd pandoc -s -w man $^ -o $@ debian/README.Debian0000644000000000000000000000036711553042145011235 0ustar Other repositories ================== Deriving has been forked, at least 2 times. You can find the other code here: http://repo.or.cz/w/deriving.git (META, pa_syntax, ocamlbuild) https://github.com/jaked/deriving (OCaml 3.12.0) Sylvain Le Gall debian/libderiving-ocaml-dev.ocamldoc0000644000000000000000000000001211553042145015025 0ustar # Nothing debian/META0000644000000000000000000000010211553042145007630 0ustar name="deriving" version="0.1.1a" description="deriving functions" debian/gbp.conf0000644000000000000000000000003611553042145010604 0ustar [DEFAULT] pristine-tar = True debian/control0000644000000000000000000000262211553042537010600 0ustar Source: ocaml-deriving Section: ocaml Priority: optional Maintainer: Debian OCaml Maintainers Uploaders: Sylvain Le Gall Build-Depends: ocaml-nox (>= 3.11.1-3~), ocaml-findlib, dh-ocaml (>= 0.9~), debhelper (>= 7.0.50~), camlp4-extra Standards-Version: 3.9.1 Homepage: http://code.google.com/p/deriving/ Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/ocaml-deriving.git Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/ocaml-deriving.git Package: libderiving-ocaml-dev Architecture: any Depends: ${ocaml:Depends}, ${misc:Depends} Provides: ${ocaml:Provides} Recommends: ocaml-findlib Description: deriving functions from type declarations in OCaml (devt files) Camlp4 extension to OCaml for deriving functions from type declarations. Includes derivers for pretty-printing, type-safe marshalling with structure-sharing, dynamic typing, equality, and more. Package: libderiving-ocaml Architecture: any Depends: ${ocaml:Depends}, ${misc:Depends} Provides: ${ocaml:Provides} Recommends: ocaml-findlib Description: deriving functions from type declarations in OCaml (runtime) Camlp4 extension to OCaml for deriving functions from type declarations. Includes derivers for pretty-printing, type-safe marshalling with structure-sharing, dynamic typing, equality, and more. . This package contains the shared runtime libraries. debian/libderiving-ocaml-dev.manpages0000644000000000000000000000002211553042145015040 0ustar debian/deriving.1 debian/copyright0000644000000000000000000000270011553042145011120 0ustar Format-Specification: http://svn.debian.org/wsvn/dep/web/deps/dep5.mdwn?op=file&rev=135 Name: ocaml-deriving Maintainer: Sylvain Le Gall Source: http://code.google.com/p/deriving/downloads/list Files: * Copyright: Copyright (c) 2007 Jeremy Yallop License: MIT Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. Files: debian/* Copyright: (C) 2010 Sylvain Le Gall License: GPL-3+ See '/usr/share/common-licenses/GPL-3' for the full text. debian/source/0000755000000000000000000000000011553042145010466 5ustar debian/source/format0000644000000000000000000000001411553042145011674 0ustar 3.0 (quilt) debian/watch0000644000000000000000000000016711553042145010223 0ustar version=3 http://code.google.com/p/deriving/downloads/list http://deriving.googlecode.com/files/deriving-(.*)\.tar\.gz debian/patches/0000755000000000000000000000000011553042145010615 5ustar debian/patches/0001-Do-not-force-.opt-compilers.patch0000644000000000000000000000171111553042145017321 0ustar From: Sylvain Le Gall Date: Mon, 18 Apr 2011 15:51:44 +0200 Subject: Do not force *.opt compilers Signed-off-by: Sylvain Le Gall Signed-off-by: Stephane Glondu --- lib/Makefile | 3 --- syntax/Makefile | 3 --- 2 files changed, 0 insertions(+), 6 deletions(-) diff --git a/lib/Makefile b/lib/Makefile index b1fd7eb..7ad6241 100644 --- a/lib/Makefile +++ b/lib/Makefile @@ -2,9 +2,6 @@ OCAMLMAKEFILE = ../OCamlMakefile PATH := $(PATH):../syntax -OCAMLOPT = ocamlopt.opt -OCAMLC = ocamlc.opt -OCAMLDEP = ocamldep.opt OCAMLFLAGS =-w ae LIBS = nums str unix diff --git a/syntax/Makefile b/syntax/Makefile index 2542efa..1df38c9 100644 --- a/syntax/Makefile +++ b/syntax/Makefile @@ -1,8 +1,5 @@ OCAMLMAKEFILE = ../OCamlMakefile -OCAMLC = ocamlc.opt -OCAMLOPT = ocamlopt.opt -OCAMLDEP = ocamldep.opt ANNOTATE = yes PPFLAGS = -loc loc USE_CAMLP4 = yes -- debian/patches/0004-fixes-for-3.12.0.patch0000644000000000000000000003130711553042145014644 0ustar From: Jake Donham Date: Fri, 3 Sep 2010 19:33:49 -0400 Subject: fixes for 3.12.0 --- syntax/base.ml | 4 ++-- syntax/bounded_class.ml | 6 +++--- syntax/dump_class.ml | 2 +- syntax/enum_class.ml | 5 +++-- syntax/eq_class.ml | 12 ++++++------ syntax/extend.ml | 2 +- syntax/pickle_class.ml | 6 +++--- syntax/show_class.ml | 4 ++-- syntax/type.ml | 10 +++++----- syntax/typeable_class.ml | 6 +++--- syntax/utils.ml | 1 + 11 files changed, 30 insertions(+), 28 deletions(-) diff --git a/syntax/base.ml b/syntax/base.ml index 16e50de..6848eaf 100644 --- a/syntax/base.ml +++ b/syntax/base.ml @@ -77,13 +77,13 @@ struct <:expr< let module M = struct - type t = $t$ + type $Ast.TyDcl (loc, "t", [], t, [])$ let test = function #t -> true | _ -> false end in M.test $lid:param$ >>, <:expr< (let module M = struct - type t = $t$ + type $Ast.TyDcl (loc, "t", [], t, [])$ let cast = function #t as t -> t | _ -> assert false end in M.cast $lid:param$ )>>) diff --git a/syntax/bounded_class.ml b/syntax/bounded_class.ml index dbccfb0..7a523ed 100644 --- a/syntax/bounded_class.ml +++ b/syntax/bounded_class.ml @@ -24,7 +24,7 @@ struct (fun t -> let e = self#expr ctxt t in <:expr< let module M = $e$ in M.min_bound >>, <:expr< let module M = $e$ in M.max_bound >>) ts) in - <:module_expr< struct type a = $atype_expr ctxt (`Tuple ts)$ + <:module_expr< struct type $Ast.TyDcl (loc, "a", [], atype_expr ctxt (`Tuple ts), [])$ let min_bound = $tuple_expr minBounds$ let max_bound = $tuple_expr maxBounds$ end >> @@ -35,7 +35,7 @@ struct | (name,_) -> raise (Underivable ("Bounded cannot be derived for the type "^ tname ^" because the constructor "^ name^" is not nullary"))) in - <:module_expr< struct type a = $atype ctxt decl$ + <:module_expr< struct type $Ast.TyDcl (loc, "a", [], atype ctxt decl, [])$ let min_bound = $uid:List.hd names$ and max_bound = $uid:List.last names$ end >> @@ -47,7 +47,7 @@ struct name^" is not nullary")) | _ -> raise (Underivable ("Bounded cannot be derived for this " ^"polymorphic variant type"))) in - <:module_expr< struct type a = $atype ctxt decl$ + <:module_expr< struct type $Ast.TyDcl (loc, "a", [], atype ctxt decl, [])$ let min_bound = `$List.hd names$ and max_bound = `$List.last names$ end >> diff --git a/syntax/dump_class.ml b/syntax/dump_class.ml index 798875a..1eab673 100644 --- a/syntax/dump_class.ml +++ b/syntax/dump_class.ml @@ -16,7 +16,7 @@ struct let classname = "Dump" let wrap ~atype ~dumpers ~undump = - <:module_expr< struct type a = $atype$ + <:module_expr< struct type $Ast.TyDcl (loc, "a", [], atype, [])$ let to_buffer buffer = function $list:dumpers$ let from_stream stream = $undump$ end >> diff --git a/syntax/enum_class.ml b/syntax/enum_class.ml index ac92833..feef7d0 100644 --- a/syntax/enum_class.ml +++ b/syntax/enum_class.ml @@ -30,7 +30,8 @@ struct (List.range 0 (List.length summands)) summands <:expr< [] >> in - <:module_expr< Enum.Defaults(struct type a = $atype ctxt decl$ let numbering = $numbering$ end) >> + <:module_expr< Enum.Defaults(struct type $Ast.TyDcl (loc, "a", [], atype ctxt decl, [])$ + let numbering = $numbering$ end) >> method variant ctxt decl (_, tags) = let numbering = @@ -45,7 +46,7 @@ struct (List.range 0 (List.length tags)) tags <:expr< [] >> in - <:module_expr< Enum.Defaults(struct type a = $atype ctxt decl$ let numbering = $numbering$ end) >> + <:module_expr< Enum.Defaults(struct type $Ast.TyDcl (loc, "a", [], atype ctxt decl, [])$ let numbering = $numbering$ end) >> method tuple context _ = raise (Underivable "Enum cannot be derived for tuple types") method record ?eq _ (tname,_,_,_,_) = raise (Underivable diff --git a/syntax/eq_class.ml b/syntax/eq_class.ml index 1d8de1b..a008785 100644 --- a/syntax/eq_class.ml +++ b/syntax/eq_class.ml @@ -22,7 +22,7 @@ struct let tup ctxt ts mexpr exp = match ts with | [t] -> - <:module_expr< struct type a = $atype_expr ctxt (`Tuple ts)$ + <:module_expr< struct type $Ast.TyDcl (loc, "a", [], atype_expr ctxt (`Tuple ts), [])$ let eq l r = let module M = $exp ctxt t$ in $mexpr$ l r end >> | ts -> @@ -38,7 +38,7 @@ struct ts (0, (<:patt< >>, <:patt< >>), <:expr< true >>) in - <:module_expr< struct type a = $atype_expr ctxt (`Tuple ts)$ + <:module_expr< struct type $Ast.TyDcl (loc, "a", [], atype_expr ctxt (`Tuple ts), [])$ let eq $Ast.PaTup (loc, lpatt)$ $Ast.PaTup (loc, rpatt)$ = $expr$ end >> @@ -80,14 +80,14 @@ struct method sum ?eq ctxt decl summands = let wildcard = match summands with [_] -> [] | _ -> [ <:match_case< _ -> false >>] in <:module_expr< - struct type a = $atype ctxt decl$ + struct type $Ast.TyDcl (loc, "a", [], atype ctxt decl, [])$ let eq l r = match l, r with $list:List.map (self#case ctxt) summands @ wildcard$ end >> method record ?eq ctxt decl fields = if List.exists (function (_,_,`Mutable) -> true | _ -> false) fields then - <:module_expr< struct type a = $atype ctxt decl$ let eq = (==) end >> + <:module_expr< struct type $Ast.TyDcl (loc, "a", [], atype ctxt decl, [])$ let eq = (==) end >> else let lpatt = record_pattern ~prefix:"l" fields and rpatt = record_pattern ~prefix:"r" fields @@ -96,11 +96,11 @@ struct (fun f e -> <:expr< $self#field ctxt f$ && $e$ >>) fields <:expr< true >> - in <:module_expr< struct type a = $atype ctxt decl$ + in <:module_expr< struct type $Ast.TyDcl (loc, "a", [], atype ctxt decl, [])$ let eq $lpatt$ $rpatt$ = $expr$ end >> method variant ctxt decl (spec, tags) = - <:module_expr< struct type a = $atype ctxt decl$ + <:module_expr< struct type $Ast.TyDcl (loc, "a", [], atype ctxt decl, [])$ let eq l r = match l, r with $list:List.map (self#polycase ctxt) tags$ | _ -> false end >> diff --git a/syntax/extend.ml b/syntax/extend.ml index 059c6e9..934e880 100644 --- a/syntax/extend.ml +++ b/syntax/extend.ml @@ -68,7 +68,7 @@ struct EXTEND Gram expr: LEVEL "simple" [ - [e1 = val_longident ; "<" ; t = ctyp; ">" -> + [e1 = TRY val_longident ; "<" ; t = ctyp; ">" -> match e1 with | <:ident< $uid:classname$ . $lid:methodname$ >> -> if not (Base.is_registered classname) then diff --git a/syntax/pickle_class.ml b/syntax/pickle_class.ml index ca62c70..aab92d8 100644 --- a/syntax/pickle_class.ml +++ b/syntax/pickle_class.ml @@ -26,9 +26,9 @@ struct let unpickle_record_bindings ctxt (tname,params,rhs,cs,_) (fields : field list) e = <:expr< let module Mutable = struct - type t = $UT.repr + type $Ast.TyDcl (loc, "t", [], UT.repr (instantiate_modargs_repr ctxt - (Record (List.map (fun (n,p,_) -> (n,p,`Mutable)) fields)))$ + (Record (List.map (fun (n,p,_) -> (n,p,`Mutable)) fields))), [])$ end in $e$ >> let unpickle_record ctxt (tname,_,_,_,_ as decl) fields expr = @@ -89,7 +89,7 @@ struct <:module_expr< struct open Eq open Typeable module T = $tymod$ module E = $eqmod$ - type a = $atype$ + type $Ast.TyDcl (loc, "a", [], atype, [])$ open Write let pickle = let module W = Utils(T)(E) in function $list:picklers$ open Read diff --git a/syntax/show_class.ml b/syntax/show_class.ml index 6217690..ec78a61 100644 --- a/syntax/show_class.ml +++ b/syntax/show_class.ml @@ -15,7 +15,7 @@ struct let classname = "Show" let wrap (ctxt:Base.context) (decl : Type.decl) matches = <:module_expr< - struct type a = $atype ctxt decl$ + struct type $Ast.TyDcl (loc, "a", [], atype ctxt decl, [])$ let format formatter = function $list:matches$ end >> let in_a_box box e = @@ -61,7 +61,7 @@ struct method tuple ctxt args = let n = List.length args in let tpatt, _ = tuple n in - <:module_expr< Defaults (struct type a = $atype_expr ctxt (`Tuple args)$ + <:module_expr< Defaults (struct type $Ast.TyDcl (loc, "a", [], atype_expr ctxt (`Tuple args), [])$ let format formatter $tpatt$ = $self#nargs ctxt (List.mapn (fun t n -> Printf.sprintf "v%d" n, t) args)$ end) >> diff --git a/syntax/type.ml b/syntax/type.ml index 736ca9a..e42cf78 100644 --- a/syntax/type.ml +++ b/syntax/type.ml @@ -1,4 +1,4 @@ -(*pp camlp4of *) +(*pp camlp4orf *) (* Copyright Jeremy Yallop 2007. This file is free software, distributed under the MIT license. @@ -422,8 +422,8 @@ struct | _ -> assert false and app f = function | [] -> f - | [x] -> <:ctyp< $expr x$ $f$ >> - | x::xs -> app (<:ctyp< $expr x$ $f$ >>) xs + | [x] -> <:ctyp< $f$ $expr x$ >> + | x::xs -> app (<:ctyp< $f$ $expr x$ >>) xs in expr let poly (params, t) = @@ -436,10 +436,10 @@ struct let rec rhs : rhs -> Ast.ctyp = function | `Fresh (None, t, `Private) -> <:ctyp< private $repr t$ >> | `Fresh (None, t, `Public) -> repr t - | `Fresh (Some e, t, `Private) -> <:ctyp< $expr e$ = private $repr t$ >> + | `Fresh (Some e, t, `Private) -> <:ctyp< $expr e$ == private $repr t$ >> | `Fresh (Some e, t, `Public) -> Ast.TyMan (loc, expr e, repr t) | `Expr t -> expr t - | `Variant (`Eq, tags) -> <:ctyp< [ $unlist bar tags tagspec$ ] >> + | `Variant (`Eq, tags) -> <:ctyp< [= $unlist bar tags tagspec$ ] >> | `Variant (`Gt, tags) -> <:ctyp< [> $unlist bar tags tagspec$ ] >> | `Variant (`Lt, tags) -> <:ctyp< [< $unlist bar tags tagspec$ ] >> | `Nothing -> <:ctyp< >> diff --git a/syntax/typeable_class.ml b/syntax/typeable_class.ml index 21c069f..64039fc 100644 --- a/syntax/typeable_class.ml +++ b/syntax/typeable_class.ml @@ -26,7 +26,7 @@ struct <:expr< $uid:NameMap.find p ctxt.argmap$.type_rep::$cdr$ >>) ctxt.params <:expr< [] >> - in <:module_expr< struct type a = $atype ctxt decl$ + in <:module_expr< struct type $Ast.TyDcl (loc, "a", [], atype ctxt decl, [])$ let type_rep = TypeRep.mkFresh $str:mkName tname$ $paramList$ end >> let tup ctxt ts mexpr expr = @@ -34,7 +34,7 @@ struct expr_list (List.map (fun t -> <:expr< let module M = $expr ctxt t$ in $mexpr$ >>) ts) in - <:module_expr< Defaults(struct type a = $atype_expr ctxt (`Tuple ts)$ + <:module_expr< Defaults(struct type $Ast.TyDcl (loc, "a", [], atype_expr ctxt (`Tuple ts), [])$ let type_rep = Typeable.TypeRep.mkTuple $params$ end) >> let instance = object(self) @@ -56,7 +56,7 @@ struct <:expr< $mproject (self#expr ctxt t) "type_rep"$::$extends$ >>) (<:expr< [] >>, <:expr< [] >>) tags in <:module_expr< Defaults( - struct type a = $atype ctxt decl$ + struct type $Ast.TyDcl (loc, "a", [], atype ctxt decl, [])$ let type_rep = Typeable.TypeRep.mkPolyv $tags$ $extends$ end) >> end diff --git a/syntax/utils.ml b/syntax/utils.ml index 6c963bb..3b4b653 100644 --- a/syntax/utils.ml +++ b/syntax/utils.ml @@ -126,6 +126,7 @@ struct | TyVrnInfSup (_, c1, c2) -> "TyVrnInfSup ("^ ctyp c1 ^ ", " ^ ctyp c2 ^")" | TyAmp (_, c1, c2) -> "TyAmp ("^ ctyp c1 ^ ", " ^ ctyp c2 ^")" | TyOfAmp (_, c1, c2) -> "TyOfAmp ("^ ctyp c1 ^ ", " ^ ctyp c2 ^")" + | TyPkg (_, mt) -> failwith "first-class modules not supported" | TyAnt (_, s) -> "TyAnt("^s^")" end -- debian/patches/0002-Add-missing-dynlink-library.patch0000644000000000000000000000110311553042145017457 0ustar From: Sylvain Le Gall Date: Mon, 18 Apr 2011 15:52:02 +0200 Subject: Add missing dynlink library Signed-off-by: Sylvain Le Gall --- syntax/Makefile | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/syntax/Makefile b/syntax/Makefile index 1df38c9..5a24718 100644 --- a/syntax/Makefile +++ b/syntax/Makefile @@ -3,7 +3,7 @@ OCAMLMAKEFILE = ../OCamlMakefile ANNOTATE = yes PPFLAGS = -loc loc USE_CAMLP4 = yes -LIBS = camlp4lib unix +LIBS = dynlink camlp4lib unix CAMLP4_PRE_NOPRINTER = -- debian/patches/series0000644000000000000000000000022511553042145012031 0ustar 0001-Do-not-force-.opt-compilers.patch 0002-Add-missing-dynlink-library.patch 0003-Do-not-link-libs-into-.cma-file.patch 0004-fixes-for-3.12.0.patch debian/patches/0003-Do-not-link-libs-into-.cma-file.patch0000644000000000000000000000233011553042145017736 0ustar From: Sylvain Le Gall Date: Mon, 18 Apr 2011 15:48:00 +0200 Subject: Do not link libs into .cma file Signed-off-by: Sylvain Le Gall Signed-off-by: Stephane Glondu --- OCamlMakefile | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/OCamlMakefile b/OCamlMakefile index 731736e..c674c9f 100644 --- a/OCamlMakefile +++ b/OCamlMakefile @@ -904,7 +904,7 @@ endif ifndef LIB_PACK_NAME $(RESULT).cma: $(REAL_IMPL_INTF) $(MAKEDLL) $(EXTRADEPS) $(RESULTDEPS) - $(REAL_OCAMLFIND) $(REAL_OCAMLC) -a $(ALL_LDFLAGS) \ + $(REAL_OCAMLFIND) $(REAL_OCAMLC) -a \ $(OBJS_LIBS) -o $@ $(OCAMLBLDFLAGS) $(REAL_IMPL) $(RESULT).cmxa $(RESULT).$(EXT_LIB): $(REAL_IMPL_INTF) $(EXTRADEPS) $(RESULTDEPS) @@ -920,7 +920,7 @@ $(LIB_PACK_NAME).cmi $(LIB_PACK_NAME).cmx: $(REAL_IMPL_INTF) endif $(RESULT).cma: $(LIB_PACK_NAME).cmi $(LIB_PACK_NAME).cmo $(MAKEDLL) $(EXTRADEPS) $(RESULTDEPS) - $(REAL_OCAMLFIND) $(REAL_OCAMLC) -a $(ALL_LDFLAGS) \ + $(REAL_OCAMLFIND) $(REAL_OCAMLC) -a \ $(OBJS_LIBS) -o $@ $(OCAMLBLDFLAGS) $(LIB_PACK_NAME).cmo $(RESULT).cmxa $(RESULT).$(EXT_LIB): $(LIB_PACK_NAME).cmi $(LIB_PACK_NAME).cmx $(EXTRADEPS) $(RESULTDEPS) -- debian/compat0000644000000000000000000000000211553042145010364 0ustar 7 debian/deriving.mkd0000644000000000000000000000043211553042145011471 0ustar % DERIVING(1) deriving User Manual % Sylvain Le Gall % December 7, 2010 # NAME deriving - camlp4 with deriving syntax extension. # SYNOPSIS deriving [options] file # DESCRIPTION This executable is camlp4 relinked with the deriving syntax extension. # SEE ALSO `camlp4` (1)