5 Commits

Author	SHA1	Message	Date
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