Re: OCaml solver in Windows version of Zero Install
Thomas Leonard <[email protected]> Sun, 31 Jan 2016 17:34:03 +0000
| Newsgroups | gmane.comp.file-systems.zero-install.devel |
|---|---|
| Message-ID | <CAG4opy-ApWSHD71b5u3Y=WvCrJ+WgKsowcSBjxexXPgMM=FbCQ@mail.gmail.com> |
On 29 January 2016 at 09:21, Bastian Eicher <[email protected]> wrote: > A while ago Thomas added the "0install slave" command to the OCaml > implementation of Zero Install which allows external applications to control > Zero Install using a JSON API. > > > > The C#/Windows version of Zero Install works standalone using its own > Solver, but the OCaml solver is more powerful (can handle more complex > dependency trees). Therefore I started working on a feature in Zero Install > for Windows that automatically downloads and uses the OCaml version as an > additional Solver backend if the built-in Solver cannot find a solution on > its own. I've gotten a little sidetracked with other stuff in the past > months but now I finally got around to finishing this integration between > the C# Frontend and OCaml Solver. That's great :-) > Windows builds of the OCaml version currently do not support SSL. This would > be a problem when the Solver tries to contact the Key info server but since > the C# Solver runs first any relevant keys are most likely already listed in > trustdb.xml. Note: I believe the only problem here is getting access to the Windows certificate store. Otherwise we have to bundle our own certificates, which would get out-of-date. We could either modify the libcurl C library we use (I think it has support already, as a compile-time option), or add support to ocaml-tls. Patches welcome... > @Thomas: Could you add a current Windows build of the OCaml version (e.g., > pulled from TeamCity) to the public http://0install.net/tools/0install.xml > feed? I guess we should make a new release for this, right? I've just pushed some updates for the latest PackageKit API and finished off the new paths support (was slightly broken for --dry-run), so might be best to wait a few days... -- Dr Thomas Leonard http://roscidus.com/blog/ GPG: DA98 25AE CAD0 8975 7CDA BD8E 0713 3F96 CA74 D8BA ------------------------------------------------------------------------------ Site24x7 APM Insight: Get Deep Visibility into Application Performance APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month Monitor end-to-end web transactions and take corrective actions now Troubleshoot faster and improve end-user experience. Signup Now! http://pubads.g.doubleclick.net/gampad/clk?id=267308311&iu=/4140