comparison cc.def @ 4:8bbade4dc167

version from 2024-02-22, never built?
author Henry S Thompson <ht@inf.ed.ac.uk>
date Thu, 15 Aug 2024 12:46:30 +0100
parents 9376bcef72f5
children fe8bc9fdba26
comparison
equal deleted inserted replaced
3:9376bcef72f5 4:8bbade4dc167
1 Bootstrap: docker 1 Bootstrap: docker
2 From: debian:bullseye 2 From: debian:bullseye
3 3
4 %files 4 %files
5 /usr/local/bin/stats 5 /usr/local/bin/stats /usr/local/bin
6 /etc/krb5.conf /etc
6 7
7 %post 8 %post
8 sed 's/PS1/PSone/' -i .singularity.d/env/99-base.sh 9 sed 's/PS1/PSone/' -i .singularity.d/env/99-base.sh
9 10
10 sed '2s/main/main contrib non-free/' -i /etc/apt/sources.list 11 sed '2s/main/main contrib non-free/' -i /etc/apt/sources.list
52 git checkout tidy_up_link_extraction 53 git checkout tidy_up_link_extraction
53 cd /usr/local/lib/python3.9/dist-packages/ 54 cd /usr/local/lib/python3.9/dist-packages/
54 ln -s /usr/local/src/pdfx/pdfx . 55 ln -s /usr/local/src/pdfx/pdfx .
55 ln -s /usr/local/src/pdfminer.six/pdfminer . 56 ln -s /usr/local/src/pdfminer.six/pdfminer .
56 57
58 cp -a /etc/krb5.conf /etc
59
57 sed '8i\ 60 sed '8i\
58 if [ "$WSHARED" ]\ 61 if [ "$WSHARED" ]\
59 then\ 62 then\
60 PATH="$WSHARED/bin:$PATH"\ 63 PATH="$WSHARED/bin:$PATH"\
61 fi\ 64 fi\