forked from homalg-project/CAP_project
-
Notifications
You must be signed in to change notification settings - Fork 0
/
makefile
45 lines (35 loc) · 1.37 KB
/
makefile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
all: doc test
doc: doc/manual.six
doc/manual.six: makedoc.g \
PackageInfo.g \
doc/Intros.autodoc \
gap/*.gd gap/*.gi examples/*.g*
gap makedoc.g
clean:
(cd doc ; ./clean)
test: doc
gap maketest.g
test-with-coverage: doc
OUTPUT=$$(gap --banner --quitonbreak --cover stats maketest.g 2>&1); \
echo "$$OUTPUT"; \
! echo "$$OUTPUT" | sed "s/\r//" | grep -v "Running list" | grep -v "^#I " | grep "" > /dev/null
echo 'LoadPackage("profiling"); OutputJsonCoverage("stats", "coverage.json");' | gap
ci-test: test-with-coverage
archive: test
(mkdir -p ../tar; cd ..; tar czvf tar/CAP.tar.gz --exclude ".DS_Store" --exclude "*~" CAP/doc/*.* CAP/doc/clean CAP/gap/*.{gi,gd} CAP/{PackageInfo.g,README,COPYING,VERSION,init.g,read.g,makedoc.g,makefile,maketest.g} CAP/examples/*.g CAP/examples/doc/*.g)
#WEBPOS=public_html
#WEBPOS_FINAL=~/Sites/homalg-project/CAP
towww: archive
echo '<?xml version="1.0" encoding="UTF-8"?>' >${WEBPOS}.version
echo '<mixer>' >>${WEBPOS}.version
cat VERSION >>${WEBPOS}.version
echo '</mixer>' >>${WEBPOS}.version
cp PackageInfo.g ${WEBPOS}
cp README ${WEBPOS}/README.CAP
cp doc/manual.pdf ${WEBPOS}/CAP.pdf
cp doc/*.{css,html} ${WEBPOS}
rm -f ${WEBPOS}/*.tar.gz
mv ../tar/CAP.tar.gz ${WEBPOS}/CAP-`cat VERSION`.tar.gz
rm -f ${WEBPOS_FINAL}/*.tar.gz
cp ${WEBPOS}/* ${WEBPOS_FINAL}
ln -s CAP-`cat VERSION`.tar.gz ${WEBPOS_FINAL}/CAP.tar.gz