Take compilers and linker from root
[u/mrichter/AliRoot.git] / build / module.tpl
1 #-*- Mode: Makefile -*-
2
3
4 ifndef PACKFFLAGS
5 @PACKAGE@FFLAGS:=$(FFLAGS)
6 else
7 @PACKAGE@FFLAGS:=$(PACKFFLAGS)
8 endif
9
10 ifndef PACKCFLAGS
11 @PACKAGE@CFLAGS:=$(CFLAGS)
12 else
13 @PACKAGE@CFLAGS:=$(PACKCFLAGS)
14 endif
15
16 ifndef PACKCXXFLAGS
17 @PACKAGE@CXXFLAGS:=$(CXXFLAGS)
18 else
19 @PACKAGE@CXXFLAGS:=$(PACKCXXFLAGS)
20 endif
21
22 ifndef PACKSOFLAGS
23 @PACKAGE@SOFLAGS:=$(SOFLAGS)
24 else
25 @PACKAGE@SOFLAGS:=$(PACKSOFLAGS)
26 endif
27
28 ifdef DYEXT
29 ifndef PACKDYFLAGS
30 @PACKAGE@DYFLAGS:=$(DYFLAGS)
31 else
32 @PACKAGE@DYFLAGS:=$(PACKDYFLAGS)
33 endif
34 endif
35
36 ifndef PACKLDFLAGS
37 @PACKAGE@LDFLAGS:=$(LDFLAGS)
38 else
39 @PACKAGE@LDFLAGS:=$(PACKLDFLAGS)
40 endif
41
42 ifndef PACKDCXXFLAGS
43 @PACKAGE@DCXXFLAGS:=$(CXXFLAGSNO)
44 else
45 @PACKAGE@DCXXFLAGS:=$(PACKDCXXFLAGS)
46 endif
47
48 ifndef PACKBLIBS
49 @PACKAGE@BLIBS:=$(LIBS)
50 else
51 @PACKAGE@BLIBS:=$(PACKBLIBS)
52 endif
53
54 WITHDICT=
55 ifneq ($(DHDR),)
56 WITHDICT=YES
57 else
58 ifneq ($(CINTAUTOLINK),)
59 WITHDICT=YES
60 endif
61 endif
62
63 # Headerfiles exported to common place:
64 @PACKAGE@EXPORT:=$(EXPORT)
65 @PACKAGE@EXPORTDEST:=$(patsubst %,$(EXPORTDIR)/%,$(EXPORT))
66
67
68 #Extra include,libs, defines etc.
69
70 @PACKAGE@DEFINE:=$(EDEFINE) -D_MODULE_=\"@MODULE@\"
71
72 @PACKAGE@INC:=$(patsubst %,-I%,$(EINCLUDE)) -I@MODULE@
73
74 @PACKAGE@ELIBS:=$(patsubst %,-l%,$(ELIBS))
75 @PACKAGE@ELIBSDEP:=$(patsubst %,lib/tgt_$(ALICE_TARGET)/lib%.$(SOEXT),$(ELIBS))
76 @PACKAGE@ELIBSDIR:=$(patsubst %,-L%,$(ELIBSDIR))
77
78 #c sources and headers
79
80 @PACKAGE@CS:=$(patsubst %,$(MODDIR)/%,$(CSRCS))
81 @PACKAGE@CH:=$(patsubst %,$(MODDIR)/%,$(CHDRS))
82
83 #Fortran sources 
84 @PACKAGE@FS:=$(patsubst %,$(MODDIR)/%,$(FSRCS))
85
86 #c++ sources and header
87 @PACKAGE@S:=$(patsubst %,$(MODDIR)/%,$(SRCS))
88 @PACKAGE@H:=$(patsubst %,$(MODDIR)/%,$(HDRS)) $(EHDRS)
89
90 #############################################################################
91 #
92 #            If special rootcint headerfiles is specified use them
93 #                         else use all headers
94
95 ifndef CINTHDRS
96 @PACKAGE@CINTHDRS:=$(@PACKAGE@H)
97 else
98 @PACKAGE@CINTHDRS:=$(CINTHDRS:%=@MODULE@/%)
99 #@PACKAGE@CINTHDRS:=$(pathsubst %,@MODULE@/%,$(CINTHDRS))
100 endif
101 @PACKAGE@CINTCLASSES:=$(patsubst %.h,%,$(notdir $(@PACKAGE@CINTHDRS)))
102 #############################################################################
103
104 # Package Dictionary 
105 ifneq ($(DHDR),)
106 @PACKAGE@DH:=$(MODDIR)/$(DHDR)
107 else
108 @PACKAGE@DH:=
109 endif
110 ifneq ($(CINTAUTOLINK),)
111 @PACKAGE@DAL:=$(MODDIRO)/G__@PACKAGE@AutoLinkDef.h
112 @PACKAGE@DH+=$(@PACKAGE@DAL)
113 endif
114
115 #All objects
116 @PACKAGE@CXXO:=$(patsubst %,$(MODDIRO)/%, $(SRCS:.cxx=.o))
117 @PACKAGE@CO:=$(patsubst %,$(MODDIRO)/%, $(CSRCS:.c=.o))
118 @PACKAGE@SMALLFO:=$(patsubst %.f,$(MODDIRO)/%.o, $(filter %.f, $(FSRCS)))
119 @PACKAGE@CAPITFO:=$(patsubst %.F,$(MODDIRO)/%.o, $(filter %.F, $(FSRCS)))
120 @PACKAGE@FO:=$(@PACKAGE@SMALLFO) $(@PACKAGE@CAPITFO)
121 @PACKAGE@O:= $(@PACKAGE@CXXO) $(@PACKAGE@FO) $(@PACKAGE@CO)
122 @PACKAGE@CHV:=$(patsubst %,$(MODDIRC)/%, $(SRCS:.cxx=.viol))
123 @PACKAGE@SML:=$(sort $(patsubst %,$(MODDIRZ)/%, $(filter $(SRCS:.cxx=.smell),$(HDRS:.h=.smell))))
124
125
126 ifdef WITHDICT
127   @PACKAGE@DS:=$(MODDIRO)/G__@PACKAGE@.cxx
128   @PACKAGE@DO:=$(MODDIRO)/G__@PACKAGE@.o
129   @PACKAGE@DDEP:=$(@PACKAGE@DO:.o=.d)
130   @PACKAGE@DEP:=$(@PACKAGE@O:.o=.d) $(@PACKAGE@DDEP)
131 else
132   @PACKAGE@DS:=
133   @PACKAGE@DO:=
134   @PACKAGE@DDEP:=
135   @PACKAGE@DEP:=$(@PACKAGE@O:.o=.d)
136 endif
137
138
139 #The actual library file
140
141 @PACKAGE@LIB:=$(LIBPATH)/lib@PACKAGE@.$(SOEXT)
142
143 ifneq ($(DYEXT),)
144 @PACKAGE@DLIB:=$(LIBPATH)/lib@PACKAGE@.$(DYEXT)
145 endif
146
147 @PACKAGE@ALIB:=$(LIBPATH)/lib@PACKAGE@.$(AEXT)
148
149 #Add this to the modules libs
150 ifeq ($(TYPE),lib)
151 @MODULE@LIBS += $(@PACKAGE@LIB)
152 @MODULE@ALIBS += $(@PACKAGE@ALIB)
153 ifneq ($(DYEXT),)
154 @MODULE@DLIBS += $(@PACKAGE@DLIB)
155 endif
156 endif
157
158 #The actual binary file
159
160 @PACKAGE@BIN:=$(BINPATH)/@PACKAGE@
161
162 #Add to modules list of binaries
163 @MODULE@BINS += $(@PACKAGE@BIN)
164
165 # Use in the main Makefile
166
167 ifeq ($(TYPE),lib)
168 ALLLIBS += $(@PACKAGE@LIB)
169 ALLALIBS += $(@PACKAGE@ALIB)
170 ifneq ($(DYEXT),)
171 ALLLIBS += $(@PACKAGE@DLIB)
172 endif
173 BINLIBS += -l@PACKAGE@
174 else
175 ALLEXECS += $(@PACKAGE@BIN)
176 endif
177
178 ifeq ($(DYEXT),)
179 @PACKAGE@LIB := $(@PACKAGE@LIB)
180 else
181 @PACKAGE@LIB := $(@PACKAGE@LIB)
182 endif
183
184 # include all dependence files
185 INCLUDEFILES +=$(@PACKAGE@DEP)
186
187 EXPORTFILES += $(@PACKAGE@EXPORTDEST)
188
189 #local rules
190
191 #The exportfiles only include if any!!
192
193 ifdef @PACKAGE@EXPORT
194 #$(@PACKAGE@EXPORTDEST): $(patsubst %,@MODULE@/%,$(@PACKAGE@EXPORT))
195
196 $(@PACKAGE@EXPORTDEST): $(EXPORTDIR)/%.h: @MODULE@/%.h
197 ifndef ALIQUIET
198           @echo "***** Copying file $^ to $@ *****"
199 endif
200           @[ -d $(dir $@) ] || mkdir -p $(dir $@)
201           @cp $^ $@     
202 endif
203
204 #------------------------------------------------------------------------
205
206 ifneq (,$(findstring macosx,$(ALICE_TARGET)))
207 $(@PACKAGE@LIB): $(@PACKAGE@DLIB) $(@PACKAGE@O) $(@PACKAGE@DO) @MODULE@/module.mk
208 ifndef ALIQUIET
209           @echo "***** Linking library $@ *****"
210 endif
211           $(MUTE)rm -f $@; cd $(dir $@); ln -s $(notdir $(@PACKAGE@DLIB)) $(notdir $@)
212 else
213 $(@PACKAGE@LIB):$(@PACKAGE@O) $(@PACKAGE@DO) @MODULE@/module.mk
214 ifndef ALIQUIET
215           @echo "***** Linking library $@ *****"
216 endif
217           \rm -f "$(CURDIR)"/$@ ;\
218           cd $(@MODULE@DIRO) ;\
219           $(SHLD) $(@PACKAGE@SOFLAGS) -o "$(CURDIR)"/$@ $(patsubst $(@MODULE@DIRO)/%,%,$(@PACKAGE@O) $(@PACKAGE@DO))  $(@PACKAGE@ELIBSDIR) $(@PACKAGE@ELIBS) $(SHLIB);\
220           chmod a-w "$(CURDIR)"/$@ ;\
221           cd $(ALICE_ROOT)
222 endif
223
224 ifneq ($(DYEXT),)
225 $(@PACKAGE@DLIB):$(@PACKAGE@O) $(@PACKAGE@DO) @MODULE@/module.mk
226 ifndef ALIQUIET
227           @echo "***** Linking library $@ *****"
228 endif
229           \rm -f "$(CURDIR)"/$@ ;\
230           cd $(@MODULE@DIRO) ;\
231           $(DYLD) $(@PACKAGE@DYFLAGS) -o "$(CURDIR)"/$@ $(patsubst $(@MODULE@DIRO)/%,%,$(@PACKAGE@O) $(@PACKAGE@DO))  $(@PACKAGE@ELIBSDIR) $(@PACKAGE@ELIBS) $(DYLIB);\
232           chmod a-w "$(CURDIR)"/$@ ;\
233           cd $(ALICE_ROOT) 
234 endif
235
236 #------------------------------------------------------------------------
237
238 $(@PACKAGE@ALIB):$(@PACKAGE@O) $(@PACKAGE@DO) @MODULE@/module.mk
239 ifndef ALIQUIET
240           @echo "***** Linking static library $@ *****"
241 endif
242           \rm -f "$(CURDIR)"/$@ ;\
243           cd $(@MODULE@DIRO) ;\
244           $(ALLD) $(ALFLAGS) "$(CURDIR)"/$@ $(patsubst $(@MODULE@DIRO)/%,%,$(@PACKAGE@O) $(@PACKAGE@DO))  $(@PACKAGE@ELIBSDIR) $(@PACKAGE@ELIBS) $(ALLIB);\
245           cd $(ALICE_ROOT)
246
247
248 $(@PACKAGE@BIN):$(@PACKAGE@O) $(@PACKAGE@DO) @MODULE@/module.mk
249 ifndef ALIQUIET
250           @echo "***** Making executable $@ *****"
251 endif
252 ifeq ($(ALIPROFILE),YES)
253         $(MUTE)$(LD) $(@PACKAGE@LDFLAGS) $(@PACKAGE@O) $(ARLIBS) $(SHLIBS) $(@PACKAGE@BLIBS) $(EXEFLAGS) -o $@
254 else
255           $(MUTE)$(LD) $(@PACKAGE@LDFLAGS) $(@PACKAGE@O) $(@PACKAGE@DO) $(BINLIBDIRS) $(@PACKAGE@ELIBSDIR) $(@PACKAGE@ELIBS) $(@PACKAGE@BLIBS) $(EXEFLAGS) -o $@
256 endif
257
258 $(@PACKAGE@DAL): $(@PACKAGE@CINTHDRS) @MODULE@/module.mk
259 ifndef ALIQUIET
260          @echo "***** Creating $@ *****";
261 endif
262         $(MUTE)echo '//automatically generated ROOT DICT definition' > $@
263         $(MUTE)echo '//!!! DO NOT EDIT THIS FILE !!!' >> $@
264         $(MUTE)echo '#ifdef __CINT__' >> $@
265         $(MUTE)echo '#pragma link off all globals;' >> $@
266         $(MUTE)echo '#pragma link off all classes;' >> $@
267         $(MUTE)echo '#pragma link off all functions;' >> $@
268         $(MUTE)$(foreach i, $(@PACKAGE@CINTCLASSES), \
269            echo "#pragma link C++ class $(i)+;" >> $@ ;)
270         $(MUTE)echo '#endif' >> $@
271
272 $(@PACKAGE@DS): $(@PACKAGE@CINTHDRS) $(@PACKAGE@DH) @MODULE@/module.mk
273 ifndef ALIQUIET
274          @echo "***** Creating $@ *****";
275 endif
276          @(if [ ! -d '$(dir $@)' ]; then echo "***** Making directory $(dir $@) *****"; mkdir -p $(dir $@); fi;)
277          @\rm -f $(patsubst %.cxx,%.d, $@)
278          $(MUTE)rootcint -f $@ -c $(@PACKAGE@DEFINE) $(CINTFLAGS) $(@PACKAGE@INC) $(@PACKAGE@CINTHDRS) $(@PACKAGE@DH)
279
280 $(@PACKAGE@DO): $(@PACKAGE@DS) 
281 ifndef ALIQUIET
282                 @echo "***** Compiling $< *****";
283 endif
284                 $(MUTE)$(CXX) $(@PACKAGE@DEFINE) -c $(@PACKAGE@INC)  -I$(ALICE_ROOT) $< -o $@ $(@PACKAGE@DCXXFLAGS)
285
286
287 #Different targets for the module
288
289 ifeq ($(TYPE),lib)
290 all-@MODULE@: $(@PACKAGE@LIB)
291 ifneq ($(DYEXT),)
292 all-@MODULE@: $(@PACKAGE@DLIB)
293 endif
294 else
295 all-@MODULE@: $(@PACKAGE@BIN)
296 endif
297
298
299 depend-@PACKAGE@: $(@PACKAGE@DEP)
300
301 # determination of object files
302 $(@PACKAGE@CXXO): $(MODDIRO)/%.o: $(MODDIR)/%.cxx $(MODDIRO)/%.d 
303 ifndef ALIQUIET
304         @echo "***** Compiling $< *****";
305 endif
306         @(if [ ! -d '$(dir $@)' ]; then echo "***** Making directory $(dir $@) *****"; mkdir -p $(dir $@); fi;)
307         $(MUTE)$(CXX) $(@PACKAGE@DEFINE) -c $(@PACKAGE@INC)   $< -o $@ $(@PACKAGE@CXXFLAGS)
308
309 $(@PACKAGE@CAPITFO): $(MODDIRO)/%.o: $(MODDIR)/%.F $(MODDIRO)/%.d 
310 ifndef ALIQUIET
311         @echo "***** Compiling $< *****";
312 endif
313         @(if [ ! -d '$(dir $@)' ]; then echo "***** Making directory $(dir $@) *****"; mkdir -p $(dir $@); fi;)
314         $(MUTE)$(F77) -c $(@PACKAGE@INC)  $< -o $@ $(@PACKAGE@FFLAGS)
315
316 $(@PACKAGE@SMALLFO): $(MODDIRO)/%.o: $(MODDIR)/%.f $(MODDIRO)/%.d 
317 ifndef ALIQUIET
318         @echo "***** Compiling $< *****";
319 endif
320         @(if [ ! -d '$(dir $@)' ]; then echo "***** Making directory $(dir $@) *****"; mkdir -p $(dir $@); fi;)
321         $(MUTE)$(F77) -c $(@PACKAGE@INC)  $< -o $@ $(@PACKAGE@FFLAGS)
322
323 $(@PACKAGE@CO): $(MODDIRO)/%.o: $(MODDIR)/%.c $(MODDIRO)/%.d 
324 ifndef ALIQUIET
325         @echo "***** Compiling $< *****";
326 endif
327         @(if [ ! -d '$(dir $@)' ]; then echo "***** Making directory $(dir $@) *****"; mkdir -p $(dir $@); fi;)
328         $(MUTE)$(CC) $(@PACKAGE@DEFINE) -c  $(@PACKAGE@INC)  $< -o $@   $(@PACKAGE@CFLAGS)
329
330 $(@PACKAGE@DDEP): $(@PACKAGE@DS)
331 ifndef ALIQUIET
332                 @echo "***** Making dependences for $< *****";
333 endif
334                 @(if [ ! -d '$(dir $@)' ]; then echo "***** Making directory $(dir $@) *****"; mkdir -p $(dir $@); fi;)
335                 @share/alibtool depend "$(@PACKAGE@ELIBSDIR) $(@PACKAGE@INC) $(DEPINC)  $<" > $@
336
337 $(@PACKAGE@CXXO:.o=.d): $(MODDIRO)/%.d: $(MODDIRS)/%.cxx
338 ifndef ALIQUIET
339                 @echo "***** Making dependences for $< *****";
340 endif
341                 @(if [ ! -d '$(dir $@)' ]; then echo "***** Making directory $(dir $@) *****"; mkdir -p $(dir $@); fi;)
342                 @share/alibtool depend "$(@PACKAGE@DEFINE) $(@PACKAGE@ELIBSDIR) $(@PACKAGE@INC) $(DEPINC)  $<" > $@
343
344 $(@PACKAGE@SMALLFO:.o=.d): $(MODDIRO)/%.d: $(MODDIRS)/%.f
345 ifndef ALIQUIET
346                 @echo "***** Making dependences for $< *****";
347 endif
348                 @(if [ ! -d '$(dir $@)' ]; then echo "***** Making directory $(dir $@) *****"; mkdir -p $(dir $@); fi;)
349                 @share/alibtool dependF "$(@PACKAGE@ELIBSDIR) $(@PACKAGE@INC) $(DEPINC)  $<" > $@
350
351 $(@PACKAGE@CAPITFO:.o=.d): $(MODDIRO)/%.d: $(MODDIRS)/%.F
352 ifndef ALIQUIET
353                 @echo "***** Making dependences for $< *****";
354 endif
355                 @(if [ ! -d '$(dir $@)' ]; then echo "***** Making directory $(dir $@) *****"; mkdir -p $(dir $@); fi;)
356                 $(MUTE)share/alibtool dependF "$(@PACKAGE@ELIBSDIR) $(@PACKAGE@INC) $(DEPINC)  $<" > $@
357
358 $(@PACKAGE@CO:.o=.d): $(MODDIRO)/%.d: $(MODDIRS)/%.c
359 ifndef ALIQUIET
360                 @echo "***** Making dependences for $< *****";
361 endif
362                 @(if [ ! -d '$(dir $@)' ]; then echo "***** Making directory $(dir $@) *****"; mkdir -p $(dir $@); fi;)
363                 @share/alibtool depend "$(@PACKAGE@DEFINE) $(@PACKAGE@ELIBSDIR) $(@PACKAGE@INC) $(DEPINC) $<" > $@
364
365 .PRECIOUS: $(patsubst %.cxx,$(MODDIRO)/%.d,$(SRCS))
366 .PRECIOUS: $(patsubst %.c,$(MODDIRO)/%.d,$(CSRCS))
367 .PRECIOUS: $(patsubst %.F,$(MODDIRO)/%.d,$(patsubst %.f,$(MODDIRO)/%.d,$(FSRCS)))
368
369 check-@MODULE@: $(@PACKAGE@CHV)
370
371 # IRST coding rule check 
372 $(@PACKAGE@CHV:.viol=.i): $(MODDIRC)/%.i: $(MODDIR)/%.cxx $(MODDIRO)/%.d
373         @[ -d $(dir $@) ] || mkdir -p $(dir $@)
374         $(MUTE)$(CXX) -E $(@PACKAGE@DEFINE) $(@PACKAGE@INC) -I. $< > $@ $(@PACKAGE@CXXFLAGS)
375         @cd $(dir $@) ; $(IRST_INSTALLDIR)/patch/patch4alice.prl $(notdir $@)
376
377 # IRST coding rule check
378 $(@PACKAGE@CHV): $(MODDIRC)/%.viol: $(MODDIRC)/%.i
379         $(MUTE)echo $@ ; $(CODE_CHECK) $< $(shell echo $(dir $<) | sed -e 's:/check::') > $@
380
381 .SECONDARY: $(@PACKAGE@CHV:.viol=.i) $(@PACKAGE@CHI:.viol=.ii)
382
383 PACKREVENG += $(@PACKAGE@CHV:.viol=.ii)
384
385 # IRST code smell checker
386
387 smell-@MODULE@: $(@PACKAGE@SML)
388
389 $(@PACKAGE@SML:.smell=_cxx.ml) : $(MODDIRZ)/%_cxx.ml : $(MODDIR)/%.cxx
390         @[ -d $(dir $@) ] || mkdir -p $(dir $@)
391         $(MUTE)src2srcml $< $@
392
393 $(@PACKAGE@SML:.smell=_h.ml) : $(MODDIRZ)/%_h.ml : $(MODDIR)/%.h
394         @[ -d $(dir $@) ] || mkdir -p $(dir $@)
395         $(MUTE)src2srcml $< $@
396
397 $(@PACKAGE@SML) : $(MODDIRZ)/%.smell : $(MODDIRZ)/%_cxx.ml $(MODDIRZ)/%_h.ml
398         $(MUTE)echo smelling $@
399         $(MUTE)java -classpath $(SMELL_DETECTOR_DIR):$(SMELL_DETECTOR_DIR)/xom-1.1.jar -Xmx500m SmellDetector $^ > $@
400         $(MUTE)[ -s $@ ] || touch $@
401
402 .SECONDARY: $(@PACKAGE@SML:.smell=_cxx.ml) $(@PACKAGE@SML:.smell=_h.ml)
403
404 # targets to create .par archives (jgrosseo)
405 @PACKAGE@.par: $(patsubst %,@MODULE@/@PACKAGE@/%,$(filter-out dict.%, $(HDRS) $(SRCS) $(DHDR) $(PKGFILE) $(FSRCS) Makefile Makefile.arch lib@PACKAGE@.pkg PROOF-INF))
406         @echo "Creating archive" $@ ...
407         @cd @MODULE@; (tar cfzh ../$@ @PACKAGE@ 2> /dev/null && echo "package" $@ "created in" $(PWD)/$@) || (tar cfzh /tmp/$@ @PACKAGE@ 2> /dev/null && echo "package" $@ "created in /tmp/"$@)
408         @rm -rf @MODULE@/@PACKAGE@
409
410 @MODULE@/@PACKAGE@/Makefile: @MODULE@/Makefile
411         @echo Copying $< to $@ with transformations
412         @[ -d $(dir $@) ] || mkdir -p $(dir $@)
413         @sed 's/include \$$(ROOTSYS)\/test\/Makefile.arch/include Makefile.arch/; s/PACKAGE = .*/PACKAGE = @PACKAGE@/' < $^ > $@
414
415 @MODULE@/@PACKAGE@/Makefile.arch: $(ROOTSYS)/test/Makefile.arch
416         @echo Copying $< to $@
417         @[ -d $(dir $@) ] || mkdir -p $(dir $@)
418         @cp -pR $^ $@
419
420 @MODULE@/@PACKAGE@/PROOF-INF: @MODULE@/PROOF-INF.@PACKAGE@
421         @echo Copying $< to $@
422         @[ -d $(dir $@) ] || mkdir -p $(dir $@)
423         @cp -pR $^ $@
424
425 @MODULE@/@PACKAGE@/%: @MODULE@/%
426         @echo Copying $< to $@
427         @[ -d $(dir $@) ] || mkdir -p $(dir $@)
428         @cp -pR $< $@
429
430 test-@PACKAGE@.par: @PACKAGE@.par
431         @echo "INFO: The file $< is now tested, in case of an error check in par-tmp/@PACKAGE@."
432         @mkdir -p par-tmp
433         @cd par-tmp; tar xfz ../$<;     cd $(subst .par,,$<); PROOF-INF/BUILD.sh
434         @rm -rf par-tmp/@PACKAGE@
435         @echo "INFO: Testing succeeded (already cleaned up)"