RPM

Generate *.rpm reproducers from CUDF/DUDF

Registered by Jeff Johnson

Mancoosi WP5 CUDF/DUDF can be used to create toy *.spec files for checking RPM behavior.

Blueprint information

Status:
Started
Approver:
None
Priority:
Low
Drafter:
None
Direction:
Approved
Assignee:
Jeff Johnson
Definition:
Discussion
Series goal:
None
Implementation:
Slow progress
Milestone target:
None
Started by
Jeff Johnson

Related branches

Sprints

Whiteboard

Linking OCAML and glib are somewhat problematic. Good,
the UNSA SAT/ILP solver is in C++ parsing CUDF with flex/bison.

The existing rpmcudf object methods are good enough to handle libcudf tests cases, but likely need additional design and extensions.

CUDF information:
    http://www.mancoosi.org/cudf/

Mancoosi technical report on CUDF:
    http://www.mancoosi.org/reports/tr3.pdf.

Mancoosi technical report on DUDF:
    http://www.mancoosi.org/reports/tr1.pdf

Caixa Magica DUDF->CUDF depsolver submission:
    http://dudf.caixamagica.pt/problems/

(?)

Work Items

Dependency tree

* Blueprints in grey have been implemented.

This blueprint contains Public information 
Everyone can see this information.

Subscribers

No subscribers.