Skip to content
Snippets Groups Projects
Makefile.in 1.43 KiB
Newer Older
Goik Martin's avatar
Goik Martin committed
SHELL = /bin/bash
Goik Martin's avatar
Goik Martin committed
DESTDIR=/var/www/html/freedocs
Goik Martin's avatar
Goik Martin committed

numCores=$(shell nproc --all)

Goik Martin's avatar
Goik Martin committed
EXECUTABLES = /usr/share/xmlmind/bin/xxetool javac mvn rsync pdflatex convert figspecial2pdf figspecial2png figspecial2svg fig2dev fig2mpdf fig2msvg fig2pdf pdf2svg pdftoppm \
java ffmpeg
Goik Martin's avatar
Goik Martin committed
K := $(foreach exec,$(EXECUTABLES),\
        $(if $(shell which $(exec)),some string,$(error "No $(exec) in PATH)))

REVEALHOME=/usr/share/reveal.js
K := $(if $(shell ls ${REVEALHOME}),some string,$(error "No ${REVEALHOME} found, please execute git clone https://github.com/hakimel/reveal.js)))

Goik Martin's avatar
Goik Martin committed
doc:
	cd Doc;$(MAKE) -j ${numCores} all
Goik Martin's avatar
Goik Martin committed

all:doc
#	mvn -T ${numCores} --fail-at-end install || echo
	mvn --fail-at-end install javadoc:javadoc || exit 0
	find P -type f \( -name \*.css -o -name \*.html -o -name \*.js \) -print | tar --files-from=- -c| tar -x -C Doc/target/webhelp
Goik Martin's avatar
Goik Martin committed

clean:
	cd Doc;$(MAKE) -j ${numCores} clean
	mvn -T ${numCores} clean
Goik Martin's avatar
Goik Martin committed

Goik Martin's avatar
Goik Martin committed
check-install:
ifndef DESTDIR
        $(error DESTDIR is undefined)
endif

install: check-install
	rsync -av --exclude \*.jar --exclude \*.war --exclude \*VAADIN\* --exclude \*.class --exclude=__figurelink\* --delete P Doc/target/webhelp/ \
          freedocs@prog.mi.hdm-stuttgart.de:${DESTDIR}
Goik Martin's avatar
Goik Martin committed
	rsync -av --exclude \*.jar --exclude \*.war --exclude \*VAADIN\* --exclude \*.class --exclude=__figurelink\* --delete P Doc/target/webhelp/ \
          ubuntu@c11694ce-eef6-4e38-803e-7a3b874d779e.ma.bw-cloud-instance.org:/extra/var/www/html
	
Goik Martin's avatar
Goik Martin committed
#end