8 commits

Author	SHA1	Message	Date
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
Andreas Kling	3d239be7b4	Ports: Undo POSIX sh compliance changes for now ... Partial revert of 704f48d7f3. These changes made the ports system unusable.	2019-11-03 10:05:02 +01:00
George Pickering	704f48d7f3	POSIX compliance: (most) shell scripts converted to generic shell ... 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-03 09:26:22 +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
Larkin Nickle	d080f6e8dd	Ports: Remove bashisms and switch all scripts to /bin/sh.	2019-06-05 14:00:01 +02:00
Robin Burchell	335d0e52a4	Ports: Replace run_command use in bash with a run_replace_in_file helper ... This way, we don't (in the ports themselves) depend on perl as a public interface, which means if we ever have to, we can port to something else easier.	2019-05-28 11:03:18 +02:00
Robin Burchell	2b1a52745e	Ports: Remove MAKEOPTS hacks from bash ... This doesn't seem to go wrong anymore.	2019-05-28 11:03:18 +02:00
Robin Burchell	9a284ad3f7	Move everything to a subdirectory ... Also don't run cd for the initial git clone (DERP!), and other bash port fixes.	2019-05-28 03:07:18 +02:00