diff options
| author | marino <marino@FreeBSD.org> | 2016-03-03 03:42:40 +0800 |
|---|---|---|
| committer | marino <marino@FreeBSD.org> | 2016-03-03 03:42:40 +0800 |
| commit | 6a2c2eeae0ab38f6f117a610324a94f2adfacee9 (patch) | |
| tree | 9172dd083bdc7bc7dcf025624f196c150bda4b1e /ports-mgmt | |
| parent | 72485522d8623853130ea6e20d09dad9276114f9 (diff) | |
| download | freebsd-ports-gnome-6a2c2eeae0ab38f6f117a610324a94f2adfacee9.tar.gz freebsd-ports-gnome-6a2c2eeae0ab38f6f117a610324a94f2adfacee9.tar.zst freebsd-ports-gnome-6a2c2eeae0ab38f6f117a610324a94f2adfacee9.zip | |
ports-mgmt/synth: Upgrade version 1.03 => 1.10
This release addresses unacceptably long repository rebuild times for the
worst cases (FreeBSD [1], slow CPU, slow mechanical disk). Until now,
rebuilding the repository required a full tree scan (nearly 26k ports).
While I only saw around 4 minutes on a 4-year DragonFly machine equipped
with a SSD, others reported times exceeding 20 minutes.
This new method scans existing packages twice -- first to eliminate those
packages where the port was removed and also those with a mismatching
version (parallel). This sets up a second pass to serially and
recursively scan the ports of the remaining packages. That leads to the
final validation (same as previously done) and the actual repository
generation. Now the repository generation time is much shorter, but
corresponds to the number of build packages in the packages directory.
The long repository generation times were identified prior to the 1.0
release, but I targetted 1.1 for the enhancement.
Diffstat (limited to 'ports-mgmt')
| -rw-r--r-- | ports-mgmt/synth/Makefile | 2 | ||||
| -rw-r--r-- | ports-mgmt/synth/distinfo | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/ports-mgmt/synth/Makefile b/ports-mgmt/synth/Makefile index c0806be0a7fe..6357fb961700 100644 --- a/ports-mgmt/synth/Makefile +++ b/ports-mgmt/synth/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= synth -PORTVERSION= 1.03 +PORTVERSION= 1.10 DISTVERSIONPREFIX= v CATEGORIES= ports-mgmt diff --git a/ports-mgmt/synth/distinfo b/ports-mgmt/synth/distinfo index ff208d7f99f1..cf76b36a8548 100644 --- a/ports-mgmt/synth/distinfo +++ b/ports-mgmt/synth/distinfo @@ -1,4 +1,4 @@ -SHA256 (jrmarino-synth-v1.03_GH0.tar.gz) = afecbe38bef08b18ca9e7594541ea80f4265f5e122c9cc1e628a5d8f25ec2ee1 -SIZE (jrmarino-synth-v1.03_GH0.tar.gz) = 91737 +SHA256 (jrmarino-synth-v1.10_GH0.tar.gz) = f29f9707f55b2396a64292de9611c988d91df88b1a5b66deac30e3b236f7c4d5 +SIZE (jrmarino-synth-v1.10_GH0.tar.gz) = 92918 SHA256 (jrmarino-synth_external-v1.3_GH0.tar.gz) = 2afc03e494d2394446eabdb5244967c202a79b449c7cad7ea67a87807cc25f44 SIZE (jrmarino-synth_external-v1.3_GH0.tar.gz) = 209283 |