Generally merging pexes is hard, but this special ...
# pexh
happy-kitchen-89482
03/26/2020, 1:36 AMGenerally merging pexes is hard, but this special case might be straightforward?
e
enough-analyst-54434
03/26/2020, 1:57 AMIn general it should be easy actually. Imagine filling in the blanks in this API:
pex_builder = PEXBuider.from_pex(existing_pex)👍 1
enough-analyst-54434
03/26/2020, 1:58 AMN.B.: A PEXBuilder is handed the results of a resolve, it does not care about the coherence of a resolve. So it will let you add conflicting requirements today. What it won't allow is conflicting file paths when adding sources and resources.
a
aloof-angle-91616
03/26/2020, 2:00 AMwhich more an intrinsic issue rather than an issue with PEXBuilder not being smart enough imho?
e
enough-analyst-54434
03/26/2020, 2:01 AMIts not even an issue per se. The responsibilities have just always been separated.
👨🎓 1
a
aloof-angle-91616
03/26/2020, 2:01 AMah, ok, thanks