gnublin

[projects.git] / tools / make / makefile

diff --git a/tools/make/makefile b/tools/make/makefile
index 8b83ff73b3ecd38f56c504a4e0d7353822f9e887..6513f24e4b201839291ed5b4d77e7acaf09d6abf 100644 (file)
--- a/tools/make/makefile
+++ b/tools/make/makefile
@@ -4,6 +4,7 @@
 
 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)
@@ -28,7 +29,7 @@ include make.pre
 #
 #-----------------------------------------------------------------
 
-compile: compile.stamp
+compile: $(COMPILE_TARGET)
        # compile ist fertig
 
 zip: $(project).zip
@@ -40,7 +41,6 @@ deb: $(project).deb
 #-----------------------------------------------------------------
 # compile steps
 #-----------------------------------------------------------------
-
 compile.stamp: $(SOURCES)
        $(COMPILE)
        @touch compile.stamp
@@ -64,7 +64,7 @@ $(project).zip: copy.stamp $(project)
 
 $(project).deb: copy.stamp control.stamp
        $(DEB)
-       cp $(project).deb $(project)_$(version).deb
+       cp $(project).deb $(project)_$(version)$(_arch).deb
 
 #-----------------------------------------------------------------
 # utilities
@@ -74,3 +74,9 @@ clean:
        if [ -e $(project).zip ]; then rm $(project).zip; fi
        if [ -e $(project) ]; then rm -rf $(project); fi
 
+#-----------------------------------------------------------------
+# Build-Regeln
+#-----------------------------------------------------------------
+%.pdf : %.tex $(SOURCES)
+       pdflatex $<
+