Changes between Version 38 and Version 40 of Ticket #29146
- Timestamp:
- Mar 28, 2021, 5:06:05 AM (23 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #29146
-
Property
Milestone
changed from
sage-9.3
tosage-9.4
-
Property
Milestone
changed from
-
Ticket #29146 – Description
v38 v40 17 17 - Make obtaining image from container of failing builds more robust: Use LABEL commands in dockerfiles, use `docker ps --filter label=.... ` to look up the container (https://docs.docker.com/engine/reference/commandline/ps/) 18 18 - setenv/passenv SAGE_SERVER 19 - Remove TARGETS_PRE/TARGETS distinction: Instead exit from make with a distinctive error code to trigger the ADD of src/ 19 - Remove `TARGETS_PRE`/`TARGETS` distinction: Instead exit from make with a distinctive error code to trigger the ADD of src/; for example, add `sagelib` dependency on `$(SAGE_SRC)/sage`, and add the rule to Makefile: 20 {{{ 21 $(SAGE_SRC)/sage: 22 exit 76 23 }}} 20 24 21 25 Improvements to `tox local`: