Opened 3 years ago

Closed 3 years ago

#27864 closed enhancement (fixed)

spkg-configure.m4 for isl

Reported by: dimpase Owned by:
Priority: major Milestone: sage-8.9
Component: build: configure Keywords: spkg-configure
Cc: Merged in:
Authors: Dima Pasechnik Reviewers: Isuru Fernando
Report Upstream: N/A Work issues:
Branch: cbd2229 (Commits, GitHub, GitLab) Commit: cbd22293f3132931bd9842c090e36b0a73065db7
Dependencies: Stopgaps:

Status badges


it only uses gmp/mpir, should be easy. On debian, sudo apt install libisl-dev.

Change History (8)

comment:1 Changed 3 years ago by embray

  • Milestone sage-8.8 deleted

As the Sage-8.8 release milestone is pending, we should delete the sage-8.8 milestone for tickets that are not actively being worked on or that still require significant work to move forward. If you feel that this ticket should be included in the next Sage release at the soonest please set its milestone to the next release milestone (sage-8.9).

comment:2 Changed 3 years ago by dimpase

  • Authors set to Dima Pasechnik
  • Branch set to u/dimpase/packages/isl-config
  • Commit set to cbd22293f3132931bd9842c090e36b0a73065db7
  • Keywords spkg-configure added
  • Status changed from new to needs_review

New commits:

cbd2229spkg-configure for isl

comment:3 Changed 3 years ago by isuruf

This works for me. Do you think the version hard coded in the spkg-configure.m4 package should come from package-version.txt for simple scripts like this?

comment:4 Changed 3 years ago by dimpase

Not always - sometimes it might be lower.

comment:5 Changed 3 years ago by isuruf

  • Reviewers set to Isuru Fernando
  • Status changed from needs_review to positive_review

Ah, didn't think about that.

comment:6 Changed 3 years ago by vbraun

Needs a ticket milestone if you intend for it to be merged

comment:7 Changed 3 years ago by dimpase

  • Milestone set to sage-8.9

comment:8 Changed 3 years ago by vbraun

  • Branch changed from u/dimpase/packages/isl-config to cbd22293f3132931bd9842c090e36b0a73065db7
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.