bass

[projects.git] / tools / make / makefile

diff --git a/tools/make/makefile b/tools/make/makefile
index 9fd2c445b889e625be36bdfdb4b0bcf53f1d443e..b2f49444608d6786d040d47e2cc62cb370102232 100644 (file)
--- a/tools/make/makefile
+++ b/tools/make/makefile
@@ -4,9 +4,11 @@
 
 NOP = @echo "No operation for target $@"
 COMPILE = $(NOP)
+COMPILE_TARGET = compile.stamp
 COPY = $(NOP)
 ZIP = zip -r $(project).zip $(project)
 DEB = fakeroot dpkg-deb --build $(project)
+INSERT_BUILD = projects/tools/make/insert_build.sh
 
 #default parameters
 project = default
@@ -28,7 +30,7 @@ include make.pre
 #
 #-----------------------------------------------------------------
 
-compile: compile.stamp
+compile: $(COMPILE_TARGET)
        # compile ist fertig
 
 zip: $(project).zip
@@ -37,10 +39,12 @@ zip: $(project).zip
 deb: $(project).deb
        # Debian package ready
 
+version: $(COMPILE_TARGET)
+       $(INSERT_BUILD) $(COMPILE_TARGET) $(build)
+
 #-----------------------------------------------------------------
 # compile steps
 #-----------------------------------------------------------------
-
 compile.stamp: $(SOURCES)
        $(COMPILE)
        @touch compile.stamp
@@ -77,6 +81,6 @@ clean:
 #-----------------------------------------------------------------
 # Build-Regeln
 #-----------------------------------------------------------------
-%.pdf : %.tex
-       pdflatex $<
+%.pdf : %.tex $(SOURCES)
+       pdflatex $< && pdflatex $<