summaryrefslogtreecommitdiff
path: root/Ports/make
AgeCommit message (Expand)Author
2022-08-12Ports: Remove two getprogname patches that are no longer neededTim Schumacher
2022-06-08Ports: Format patches without numbering, commit hash or version numberTim Schumacher
2022-05-25Ports: Allow selecting multiple `config_{sub,guess}_path`sTim Schumacher
2022-05-19Ports: Update make's patches to use git patchesAli Mohammad Pur
2022-01-16Ports: Remove some config.sub patches and download a fresh one if neededAli Mohammad Pur
2021-10-05Ports: Make array-like settings actual arraysTim Schumacher
2021-04-15Ports: Use ftpmirror.gnu.org mirror server for GNU portsBrendan Coles
2021-04-10Ports: Download GNU port archives and signatures using HTTPSBrendan Coles
2021-03-13Ports: Use SERENITY_ARCH in --target/--hostLinus Groh
2021-01-22Meta: Get building on NixOS (#5005)Jonathan Turner
2020-12-15Ports: Bump GNU make to version 4.3Andreas Kling
2020-02-06Ports: Added checksums / signature files and other fixesEmanuel Sprung
2019-11-03Ports: Undo POSIX sh compliance changes for nowAndreas Kling
2019-11-03POSIX compliance: (most) shell scripts converted to generic shellGeorge Pickering
2019-11-03Ports: update make to 4.2.1, disable GuileStephen Gregoratto
2019-09-24Ports: Switch to new ports system (#594)Larkin
2019-07-21Ports: Add GNU make 4.2! :^)Andreas Kling