summaryrefslogtreecommitdiff
path: root/Ports/make
AgeCommit message (Collapse)Author
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
* Use ${version} instead of explicit version numbers in urls/filenames * Move -L option to port script, as this is always good * Fix some various other stuff
2019-11-03Ports: Undo POSIX sh compliance changes for nowAndreas Kling
Partial revert of 704f48d7f3a1a88047a64b4e2939878d6d4fafb8. These changes made the ports system unusable.
2019-11-03POSIX compliance: (most) shell scripts converted to generic shellGeorge Pickering
Ports/.port_include.sh, Toolchain/BuildIt.sh, Toolchain/UseIt.sh have been left largely untouched due to use of Bash-exclusive functions and variables such as $BASH_SOURCE, pushd and popd.
2019-11-03Ports: update make to 4.2.1, disable GuileStephen Gregoratto
Some systems (e.g. Arch Linux) build their gmake with Guile support and thus have it installed. This patch disables Guile autodetection in the configure script. It also updates the version of gmake to 4.2.1. Fixes #645.
2019-09-24Ports: Switch to new ports system (#594)Larkin
Much redundancy is removed from package scripts with this system. It also supports simple dependency management, uninstalling (through BSD ports style plist files), cleaning up after itself (with clean, clean_dist, clean_all commands), etc.
2019-07-21Ports: Add GNU make 4.2! :^)Andreas Kling