summaryrefslogtreecommitdiff
path: root/misc/dose3/Makefile
AgeCommit message (Collapse)AuthorFilesLines
2022-06-04dose3: remove outdated commentwiz1-2/+1
2022-05-24Recursive revbump associated with update of ocaml.jaapb1-4/+4
Also change of mk/ocaml.mk to lang/ocaml/ocaml.mk.
2022-03-21Explicitly included ocaml.mk in misc/dose3 Makefilejaapb1-1/+2
This doesn't actually change anything, the file was already included indirectly, but it is better form.
2021-03-08Recursive revbump associated with update of lang/ocamljaapb1-2/+2
2019-11-03misc: align variable assignmentsrillig1-4/+4
pkglint -Wall -F --only aligned --only indent -r No manual corrections.
2018-11-12Revbumps associated with update of lang/ocaml.jaapb1-2/+2
2018-07-19Recursive revbump associated with the update of lang/ocaml to 4.07.jaapb1-3/+3
2018-04-13Revbump associated with the upgrade of lang/ocamljaapb1-2/+2
(this is the upgrade from 4.06 to 4.06.1)
2018-01-10Added OCaml 4.06 support to misc/dose3 (and revbump).jaapb1-2/+2
2017-09-08Recursive revbump associated with update of ocaml to 4.05jaapb1-1/+2
2017-08-01Follow some http -> https redirects.wiz1-2/+2
2017-07-11Updated package to latest version, 5.0.1. Changes (from 4.3) include:jaapb1-5/+3
dose3 (5.0) UNRELEASED; urgency=low * finally implement keep_package/version/feature properly. The globalid index that was used to optionally encode the global constraints is now disappeared. This simplify the interface of the solver. * massive refactoring. Change of API . All functions in Depsolver* accept a new paramenter "global_constraints" that is a vpkgformula enconding all packages that must be co-installed by by default with each request. This is used to properly encode debian essential packages without abusing 'Keep_package as before. * Depsolver_int.{solve,init_solver_unit,init_solver_cache} have a new optional argument 'explain'. When false, reduce the memory footprint. * Depsolver.{check_request,check_request_using} accept a new parameter dummy that can be used to pass arbitrary contraints as a cudf.package that is going to be coinstalled as part of the request and filtered out in the result. * improvements to the documentation and test units * add --compare to ceve when used with pef:// * improvements to distcheck --lowmem * StdOptions.lastest now returns an integer to consider only the last n versions of each package * API change : CudfAdd.latest * API change : CudfAdd.inttovar -> CudfAdd.inttopkg * API change : add parameter to check_request and check_request_using * apt-cudf : package up or downgrades are expressed in a single "Install" request and that these do not show up as a "Remove" request anymore. * StdOptions.DistribOptions.add_options are now different for each input ( ex. StdOptions.DistribOptions.add_debian_options )uu * Debian.Printer.pp_* functions are now methods of the Debian.package class
2016-12-30Recursive revbump associated with ocaml update to 4.04.jaapb1-2/+2
2016-06-20Updated buidlink3.mk file to reflect API change, revbump, removed unusedjaapb1-1/+2
patches
2016-06-19Updated package to latest version, 5.0~rc2. Changes include:jaapb1-6/+6
dose3 (5.0) UNRELEASED; urgency=low * finally implement keep_package/version/feature properly. The globalid index that was used to optionally encode the global constraints is now disappeared. This simplify the interface of the solver. * massive refactoring. Change of API . All functions in Depsolver* accept a new paramenter "global_constraints" that is a vpkgformula enconding all packages that must be co-installed by by default with each request. This is used to properly encode debian essential packages without abusing 'Keep_package as before. * Depsolver_int.{solve,init_solver_unit,init_solver_cache} have a new optional argument 'explain'. When false, reduce the memory footprint. * Depsolver.{check_request,check_request_using} accept a new parameter dummy that can be used to pass arbitrary contraints as a cudf.package that is going to be coinstalled as part of the request and filtered out in the result. * improvements to the documentation and test units * add --compare to ceve when used with pef:// * improvements to distcheck --lowmem * StdOptions.lastest now returns an integer to consider only the last n versions of each package * API change : CudfAdd.latest * API change : CudfAdd.inttovar -> CudfAdd.inttopkg * API change : add parameter to check_request and check_request_using * apt-cudf : package up or downgrades are expressed in a single "Install" request and that these do not show up as a "Remove" request anymore. * StdOptions.DistribOptions.add_options are now different for each input ( ex. StdOptions.DistribOptions.add_debian_options )uu * Debian.Printer.pp_* functions are now methods of the Debian.package class -- Pietro Abate <pietro.abate@inria.fr> Thur, 06 Jun 2016 13:13:06 +0200 dose3 (4.3) UNRELEASED; urgency=low * Fix exitcode problem with apt-cudf * Add new comparison functions to parse npm like versions * Make ocamlgraph a hard dependency of dose. * Switch to ocamlgraph based explanation graphs by default * add {foregin,native}-architecture field to distcheck output * bump output-version to 1.2 * add --lowmem option to distcheck (slow, but consumes less memory) * remove build-essential field from buildcheck * add --deb-drop-b-d-indep and --deb-profiles to ceve * API Change. Debian.Debutil.debvpkg is replaced by Pef.Pefcudf.pefvpkg * API Change. Depsolver_int.solve has a addition argument "explain" * add new option to ditcheck and ceve --compare to specify a comparison function to be used with the pef format. -- Pietro Abate <pietro.abate@inria.fr> Thur, 21 Apr 2016 13:13:06 +0200 dose3 (4.2) UNRELEASED; urgency=low * Fix META file and other compilation problems (notably on 32 bits architectures) * Add back the "Enhances" field in the debian printer * the new yaml format also drops the architecture suffix in the package and unsat-dependency fields * Add new function Depsolver.is_consistent and Debian.Debcudf.get_real_name * Expose Diagnostic.request and Diagnostic.result * Update the yaml output of outdated (no more cudf-related cruft in package names) * bump yaml output-version to 1.1 -- Pietro Abate <pietro.abate@pps.univ-paris-diderot.fr> Thur, 14 Jan 2016 13:13:06 +0200 dose3 (4.1) UNRELEASED; urgency=low * New optimization criteria parser. apt-cudf now accepts only optimization criterias in misc2012 format. * the extended MISC 2012 syntax extends the count criteria allowing the following additional forms: count(selector,field:=/plain/) count(selector,field:~/regex/) * Update Documentation * Modules are renamed (compiled with -pack) : Versioning.Debian Versioning.Semver * API change : Debian.Debcudf.get_real_version tables now returns a tuple (name, version) . Name is the original Debian name without encoding ( "src:" , ":$arch" , "--virtual-" ). * Implement versioned provides * strict dependency ocamlgraph >= 1.8.6 * strict dependency extlib >= 1.7.0 * new cudf property for deb/edsp types native is 1 if the pkg architecture is equal to the native architecture, 0 otherwise. This can be used to maximise the number of packages belonging to the native architecture ( +sum(solution,active) ) * better parsing and error reporting * More Module refactoring (algo/deb/pef/opam) -- Pietro Abate <pietro.abate@pps.univ-paris-diderot.fr> Tue, 01 Dec 2015 13:13:06 +0200 dose3 (4.0) UNRELEASED; urgency=low * Minor Bugs * Add opam module * Major refactoring of parsing functions Pef/Deb/Opam -- Pietro Abate <pietro.abate@pps.univ-paris-diderot.fr> Mon, 29 June 2015 13:13:06 +0200 dose3 (4.0-rc3) UNRELEASED; urgency=low * Minor Bugs -- Pietro Abate <pietro.abate@pps.univ-paris-diderot.fr> Mon, 29 June 2015 13:13:06 +0200 dose3 (4.0-rc2) UNRELEASED; urgency=low * Add new module Versioning to group all the comparison functions * Add a new comparison schema (http://semver.org/) * Add new two new ceve output formats: deb and debsrc -- Pietro Abate <pietro.abate@pps.univ-paris-diderot.fr> Fri, 26 June 2015 13:13:06 +0200 dose3 (4.0-rc1) UNRELEASED; urgency=low * Remove dependency to camlp4. Add build dependency to cppo * Add option --dot to create explanation graphs in dot format * add 'out-version' field to yaml format * Debian Essential packages are now kept into account while generating strong dependencies. You must pass --deb-ignore-essential to restore the previous behaviour * Add --latest to challenged * Add new format PEF : package export format * Drop eclipse format (superceded by PEF) * Drop cv format (superceded by PEF) * Ceve can read source packages * Add grep-able one line explanations (success/failure) to distcheck * Switch architecture and name around in cudf representation for debian packages * Add new function to detect unsused dependencies/conflicts * API change : Diagnostic.request, Depsolver.request, StdLoaders.load_list, Debcudf.init_tables, * add debsrc input format to ceve -- Pietro Abate <pietro.abate@pps.univ-paris-diderot.fr> Wed, 24 June 2015 13:13:06 +0200
2016-05-07Add ocamlbuild dependency to fix build.wiz1-1/+2
2016-05-05Recursive revbump associated with ocaml update.jaapb1-2/+2
2015-06-30Recursive revbump associated with update of lang/ocaml to 4.02.2.jaapb1-2/+2
2015-02-11Revbump associated with update of lang/ocaml.jaapb1-2/+2
2014-11-06Revised package, no upstream changes. Added option for compiling injaapb1-1/+3
ocamlgraph support; this is necessary for misc/ocaml-opam.
2014-10-27Added misc/dose3, a package repository analysis toolkit. This is a betajaapb1-0/+31
version, but it includes some patches that I'd have needed to add to make the latest stable version anyway, so I decided to add this one.