Merge pull request #18 from minfrin/dist

Manpage generation is reproducible, add CI

Author: minfrin

.github/workflows/full-check.yml

@@ -0,0 +1,79 @@
+name: full-check
+
+on: [push, pull_request]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v2
+    - name: install_dependencies
+      run: sudo apt install txt2man
+    - name: first_build_non_parallel
+      run: |
+           autoreconf -fi
+           ./configure
+           make dist
+           head retry.1; cat retry.1 | grep -C5 "try forever" || exit 1
+
+           mkdir test_dist
+           cp retry-*.tar.gz test_dist
+           pushd test_dist
+           tar -xvf retry-*.tar.gz
+           rm -f retry-*.tar.gz
+           cd retry-*
+           ./configure
+           make
+           sudo make install
+           sudo make uninstall
+           popd
+           mv test_dist test_dist_1
+
+           mkdir test_dist
+           cp retry-*.tar.gz test_dist
+           pushd test_dist
+           tar -xvf retry-*.tar.gz
+           rm -f retry-*.tar.gz
+           cd retry-*
+           ./configure
+           make
+           sudo make install
+           sudo make uninstall
+           popd
+           mv test_dist test_dist_2
+
+           strip --strip-all test_dist_1/retry-*/retry
+           strip --strip-all test_dist_2/retry-*/retry
+           if ! cmp test_dist_1/retry-*/retry test_dist_2/retry-*/retry
+           then
+                echo "ERROR: retry build was not repeatable."
+                exit 1
+           fi
+           if ! cmp test_dist_1/retry-*/retry.1 test_dist_2/retry-*/retry.1
+           then
+                echo "ERROR: retry.1 build was not repeatable."
+                exit 1
+           fi
+           rm -rf test_dist_2
+           rm -rf test_dist_1
+           make distclean
+    - name: second_build_parallel
+      run: |
+           autoreconf -fi
+           ./configure
+           for i in 1 2 3 4 5
+           do
+                make -j2
+                if [ ! -f retry.1 ]
+                then
+                     echo "ERROR: manpage was missing."
+                     exit 1
+                fi
+           done
+           sudo make install
+    - name: run_program
+      run: |
+           retry --until=success true
+           retry -t 3 -d 3 -u success ls

Makefile.am

@@ -7,9 +7,6 @@ retry_SOURCES = retry.c
 EXTRA_DIST = retry.spec
 dist_man_MANS = retry.1
 
-dist-hook: retry.1
-	install retry.1 $(distdir)/retry.1
-
 retry.1: retry
-	./retry --help | txt2man -d 1 -t "${PACKAGE_NAME}" -r "${PACKAGE_NAME}-${PACKAGE_VERSION}" > retry.1
+	./retry --help | txt2man -s 1 -t "${PACKAGE_NAME}" -r "${PACKAGE_NAME}-${PACKAGE_VERSION}" > retry.1