From 96148fa72385d05454f0815b3e816d892426d9d7 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Wed, 15 Mar 2023 00:15:24 +0000
Subject: [PATCH] Avoid using make in sagemath container
---
.gitlab-ci.yml | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index de53cc7..1b4fff8 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -16,7 +16,10 @@ create-py-modules:
name: docker.io/sagemath/sagemath
entrypoint: [""]
tags: ["x64"]
- script: make pymodules
+ script:
+ # This container does not have make
+ - sage --preparse sagetexscripts/*.sage
+ - echo sagetexscripts/*.sage | sed -e 's;\.sage$;;' | xargs -I % sh -c 'mv %.sage.py %.py'
artifacts:
paths:
- sagetexscripts/*.py
--
GitLab