Changeset ab6949 in git for .github

Timestamp:

Jul 25, 2020, 8:46:44 PM (4 years ago)

Author:

Matthias Koeppe <mkoeppe@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

efb3fc902aaa3c131c09c21cefb3f9cfc263473f

Parents:

46e4f42823d5801c64d87a8fc9cfa9102dbaf74d

git-author:

Matthias Koeppe <mkoeppe@math.ucdavis.edu>2020-07-25 11:46:44-07:00

git-committer:

Matthias Koeppe <mkoeppe@math.ucdavis.edu>2020-07-25 11:47:57-07:00

Message:

Try make dist again

File:

• .github/workflows/ci-sage.yml (modified) (2 diffs)

.github/workflows/ci-sage.yml

@@ -46 +46 @@
 env:
   # Ubuntu packages to install so that the project's "make dist" can succeed
-  DIST_PREREQ: tar
+  DIST_PREREQ: libcdd-dev
   # Name of this project in the Sage distribution
   SPKG:        singular
@@ -77 +77 @@
         # make dist broken, make_tar.sh broken - https://github.com/Singular/Singular/issues/1016
         run: |
-          (cd build/pkgs/${{ env.SPKG }}/src && (./make_tar.sh || tar cfz singular-tar-so-far.tar.gz singular-4.* ) ) \
+          (cd build/pkgs/${{ env.SPKG }}/src && (./autogen.sh && ./configure && make dist) ) \
           && mkdir -p upstream && cp build/pkgs/${{ env.SPKG }}/src/*.tar.gz upstream/${{ env.SPKG }}-git.tar.gz \
           && echo "sage-package create ${{ env.SPKG }} --version git --tarball ${{ env.SPKG }}-git.tar.gz --type=optional" > upstream/update-pkgs.sh \