3 commits

Author	SHA1	Message	Date
Linus Groh	07c765e258	Ports: Make bash link again ... No idea why this was suddenly broken, but removing these duplicated declarations make it build to completion again.	2020-05-18 11:29:08 +02:00
Sergey Bugaev	47326042c5	Ports: Make sure Bash loads its built-in commands statically ... Bash's configure script is checking whether the system has dlopen(). We do, but it doesn't actually work (yet). So patch the check out.	2019-11-19 16:03:25 +01:00
Larkin	18249b5996	Ports: Switch to new ports system (#594) ... 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-09-24 08:56:39 +02:00