search

robur-coop / builder

Scheduling build jobs on regular intervals, collecting artifacts
ISC License
13 stars 1 forks source link

remove gmp from dependency cone #47

Open hannesm opened 2 months ago

hannesm commented 2 months ago

since asn1-combinators 0.3.x doesn't need zarith anymore, let's get rid of the gmp dependency from builder. the only challenge is the builder-server using http-lwt-client (which depends on tls). we may strive for two packages, builder-worker and builder-full (client / server)? or push the http stuff to calling an external program (hurl.exe/curl)?

what do you think?

reynir commented 1 month ago

I think it is worth investigating. Metrics that could be interesting to compare is: build times and binary sizes.