From: Jean Privat Date: Mon, 15 Jul 2019 15:07:57 +0000 (-0400) Subject: Merge: Update basic requirements and document them X-Git-Url: http://nitlanguage.org Merge: Update basic requirements and document them Since #2615 we broke the initial build according to the documentation since nitpm (picnit) requires libcurl. To minimize the number of doc to update I just moved `nitpm` to the "more" set of tools and documented their requirements. I also added a CI job to avoid future failures (note: I'm not sure how to adapt it on other docker-less platforms). Pull-Request: #2766 Reviewed-by: Alexandre Terrasa --- 73c372076ba2f5196973a5b5aae3ac788cf098e7