fixup! Add ports to the Sortix repository.

build-aux/build-ports.sh

@@ -322,22 +322,24 @@ for PACKAGE in $PACKAGES; do
                      echo "$SOURCE_PACKAGE") )
   # TODO: clean support.
 
-  # download
-  if [ -n "$SOURCE_PACKAGE" ]; then
-    download_package "$SOURCE_PACKAGE"
-  fi
-  download_package "$PACKAGE"
-  if [ "$OPERATION" = download ]; then continue; fi
+  if [ ! -f "$SORTIX_REPOSITORY_DIR/$PACKAGE.tix.tar.xz" ] ||
+     [ "$OPERATION" != build ] ; then
 
-  # extract
-  if [ -n "$SOURCE_PACKAGE" ]; then
-    extract_package "$SOURCE_PACKAGE"
-  fi
-  extract_package "$PACKAGE"
-  if [ "$OPERATION" = extract ]; then continue; fi
+    # download
+    if [ -n "$SOURCE_PACKAGE" ]; then
+      download_package "$SOURCE_PACKAGE"
+    fi
+    download_package "$PACKAGE"
+    if [ "$OPERATION" = download ]; then continue; fi
 
-  # build
-  if ! [ -f "$SORTIX_REPOSITORY_DIR/$PACKAGE.tix.tar.xz" ]; then
+    # extract
+    if [ -n "$SOURCE_PACKAGE" ]; then
+      extract_package "$SOURCE_PACKAGE"
+    fi
+    extract_package "$PACKAGE"
+    if [ "$OPERATION" = extract ]; then continue; fi
+
+    # build
     announce "Building $PACKAGE"
     tix-build \
       --sysroot="$SYSROOT" \

portsify.sh

@@ -67,7 +67,6 @@ for port in $ports; do
     echo "rm -rf -- 'docs/stamp-vti'" >> "patch.normalize"
     ;;
   libidn)
-    # TODO: Which of these were actually a problem?
     echo "rm -rf -- 'doc/Makefile.gdoc'" >> "patch.normalize"
     echo "rm -rf -- 'doc/stamp-vti'" >> "patch.normalize"
     ;;