Changeset ee5b48 in git


Ignore:
Timestamp:
Jul 6, 2020, 9:18:20 PM (4 years ago)
Author:
Matthias Koeppe <mkoeppe@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b52fc4b2495505785981d640dcf7eb3e456778ef')
Children:
ede6da7ab2b8fb552e62526b579f71e71becdd3b
Parents:
382481672433e59bb571a5be4c03e838c77b6868
Message:
'make dist' is broken, use ./make_tar.sh instead
File:
1 edited

Legend:

Unmodified
Added
Removed
  • .github/workflows/ci-sage.yml

    r3824816 ree5b48  
    4646env:
    4747  # Ubuntu packages to install so that the project's "make dist" can succeed
    48   DIST_PREREQ: libcdd-dev
     48  DIST_PREREQ: tar
    4949  # Name of this project in the Sage distribution
    5050  SPKG:        singular
     
    7676      - name: Run make dist, prepare upstream artifact
    7777        run: |
    78           (cd build/pkgs/${{ env.SPKG }}/src && ./autogen.sh && ./configure && make dist) \
     78          (cd build/pkgs/${{ env.SPKG }}/src && ./make_tar.sh) \
    7979          && mkdir -p upstream && cp build/pkgs/${{ env.SPKG }}/src/*.tar.gz upstream/${{ env.SPKG }}-git.tar.gz \
    8080          && echo "sage-package create ${{ env.SPKG }} --version git --tarball ${{ env.SPKG }}-git.tar.gz --type=optional" > upstream/update-pkgs.sh \
Note: See TracChangeset for help on using the changeset viewer.