data transport between the tracker and the merger is optimized
[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 ifneq ($(findstring solaris,$(ALICE_TARGET)),)
273 # shameful hack....
274 CINTFLAGS := $(filter-out -library=stlport4,$(CINTFLAGS))
275 endif
276
277 $(@PACKAGE@DS): $(@PACKAGE@CINTHDRS) $(@PACKAGE@DH) @MODULE@/module.mk
278 ifndef ALIQUIET
279          @echo "***** Creating $@ *****";
280 endif
281          @(if [ ! -d '$(dir $@)' ]; then echo "***** Making directory $(dir $@) *****"; mkdir -p $(dir $@); fi;)
282          @\rm -f $(patsubst %.cxx,%.d, $@)
283          $(MUTE)rootcint -f $@ -c $(@PACKAGE@DEFINE) $(CINTFLAGS) $(@PACKAGE@INC) $(@PACKAGE@CINTHDRS) $(@PACKAGE@DH)
284
285 $(@PACKAGE@DO): $(@PACKAGE@DS) 
286 ifndef ALIQUIET
287                 @echo "***** Compiling $< *****";
288 endif
289                 $(MUTE)$(CXX) $(@PACKAGE@DEFINE) -c $(@PACKAGE@INC)  -I$(ALICE_ROOT) $< -o $@ $(@PACKAGE@DCXXFLAGS)
290
291
292 #Different targets for the module
293
294 ifeq ($(TYPE),lib)
295 all-@MODULE@: $(@PACKAGE@LIB)
296 ifneq ($(DYEXT),)
297 all-@MODULE@: $(@PACKAGE@DLIB)
298 endif
299 else
300 all-@MODULE@: $(@PACKAGE@BIN)
301 endif
302
303
304 depend-@PACKAGE@: $(@PACKAGE@DEP)
305
306 # determination of object files
307 $(@PACKAGE@CXXO): $(MODDIRO)/%.o: $(MODDIR)/%.cxx $(MODDIRO)/%.d 
308 ifndef ALIQUIET
309         @echo "***** Compiling $< *****";
310 endif
311         @(if [ ! -d '$(dir $@)' ]; then echo "***** Making directory $(dir $@) *****"; mkdir -p $(dir $@); fi;)
312         $(MUTE)$(CXX) $(@PACKAGE@DEFINE) -c $(@PACKAGE@INC)   $< -o $@ $(@PACKAGE@CXXFLAGS)
313
314 $(@PACKAGE@CAPITFO): $(MODDIRO)/%.o: $(MODDIR)/%.F $(MODDIRO)/%.d 
315 ifndef ALIQUIET
316         @echo "***** Compiling $< *****";
317 endif
318         @(if [ ! -d '$(dir $@)' ]; then echo "***** Making directory $(dir $@) *****"; mkdir -p $(dir $@); fi;)
319         $(MUTE)$(F77) -c $(@PACKAGE@INC)  $< -o $@ $(@PACKAGE@FFLAGS)
320
321 $(@PACKAGE@SMALLFO): $(MODDIRO)/%.o: $(MODDIR)/%.f $(MODDIRO)/%.d 
322 ifndef ALIQUIET
323         @echo "***** Compiling $< *****";
324 endif
325         @(if [ ! -d '$(dir $@)' ]; then echo "***** Making directory $(dir $@) *****"; mkdir -p $(dir $@); fi;)
326         $(MUTE)$(F77) -c $(@PACKAGE@INC)  $< -o $@ $(@PACKAGE@FFLAGS)
327
328 $(@PACKAGE@CO): $(MODDIRO)/%.o: $(MODDIR)/%.c $(MODDIRO)/%.d 
329 ifndef ALIQUIET
330         @echo "***** Compiling $< *****";
331 endif
332         @(if [ ! -d '$(dir $@)' ]; then echo "***** Making directory $(dir $@) *****"; mkdir -p $(dir $@); fi;)
333         $(MUTE)$(CC) $(@PACKAGE@DEFINE) -c  $(@PACKAGE@INC)  $< -o $@   $(@PACKAGE@CFLAGS)
334
335 $(@PACKAGE@DDEP): $(@PACKAGE@DS)
336 ifndef ALIQUIET
337                 @echo "***** Making dependences for $< *****";
338 endif
339                 @(if [ ! -d '$(dir $@)' ]; then echo "***** Making directory $(dir $@) *****"; mkdir -p $(dir $@); fi;)
340                 @share/alibtool depend "$(@PACKAGE@ELIBSDIR) $(@PACKAGE@INC) $(DEPINC)  $<" > $@
341
342 $(@PACKAGE@CXXO:.o=.d): $(MODDIRO)/%.d: $(MODDIRS)/%.cxx
343 ifndef ALIQUIET
344                 @echo "***** Making dependences for $< *****";
345 endif
346                 @(if [ ! -d '$(dir $@)' ]; then echo "***** Making directory $(dir $@) *****"; mkdir -p $(dir $@); fi;)
347                 @share/alibtool depend "$(@PACKAGE@DEFINE) $(@PACKAGE@ELIBSDIR) $(@PACKAGE@INC) $(DEPINC)  $<" > $@
348
349 $(@PACKAGE@SMALLFO:.o=.d): $(MODDIRO)/%.d: $(MODDIRS)/%.f
350 ifndef ALIQUIET
351                 @echo "***** Making dependences for $< *****";
352 endif
353                 @(if [ ! -d '$(dir $@)' ]; then echo "***** Making directory $(dir $@) *****"; mkdir -p $(dir $@); fi;)
354                 @share/alibtool dependF "$(@PACKAGE@ELIBSDIR) $(@PACKAGE@INC) $(DEPINC)  $<" > $@
355
356 $(@PACKAGE@CAPITFO:.o=.d): $(MODDIRO)/%.d: $(MODDIRS)/%.F
357 ifndef ALIQUIET
358                 @echo "***** Making dependences for $< *****";
359 endif
360                 @(if [ ! -d '$(dir $@)' ]; then echo "***** Making directory $(dir $@) *****"; mkdir -p $(dir $@); fi;)
361                 $(MUTE)share/alibtool dependF "$(@PACKAGE@ELIBSDIR) $(@PACKAGE@INC) $(DEPINC)  $<" > $@
362
363 $(@PACKAGE@CO:.o=.d): $(MODDIRO)/%.d: $(MODDIRS)/%.c
364 ifndef ALIQUIET
365                 @echo "***** Making dependences for $< *****";
366 endif
367                 @(if [ ! -d '$(dir $@)' ]; then echo "***** Making directory $(dir $@) *****"; mkdir -p $(dir $@); fi;)
368                 @share/alibtool depend "$(@PACKAGE@DEFINE) $(@PACKAGE@ELIBSDIR) $(@PACKAGE@INC) $(DEPINC) $<" > $@
369
370 .PRECIOUS: $(patsubst %.cxx,$(MODDIRO)/%.d,$(SRCS))
371 .PRECIOUS: $(patsubst %.c,$(MODDIRO)/%.d,$(CSRCS))
372 .PRECIOUS: $(patsubst %.F,$(MODDIRO)/%.d,$(patsubst %.f,$(MODDIRO)/%.d,$(FSRCS)))
373
374 check-@MODULE@: $(@PACKAGE@CHV)
375
376 # IRST coding rule check 
377 $(@PACKAGE@CHV:.viol=.i): $(MODDIRC)/%.i: $(MODDIR)/%.cxx $(MODDIRO)/%.d
378         @[ -d $(dir $@) ] || mkdir -p $(dir $@)
379         $(MUTE)$(CXX) -E $(@PACKAGE@DEFINE) $(@PACKAGE@INC) -I. $< > $@ $(@PACKAGE@CXXFLAGS)
380         @cd $(dir $@) ; $(IRST_INSTALLDIR)/patch/patch4alice.prl $(notdir $@)
381
382 # IRST coding rule check
383 $(@PACKAGE@CHV): $(MODDIRC)/%.viol: $(MODDIRC)/%.i
384         $(MUTE)echo $@ ; $(CODE_CHECK) $< $(shell echo $(dir $<) | sed -e 's:/check::') > $@
385
386 .SECONDARY: $(@PACKAGE@CHV:.viol=.i) $(@PACKAGE@CHI:.viol=.ii)
387
388 PACKREVENG += $(@PACKAGE@CHV:.viol=.ii)
389
390 # IRST code smell checker
391
392 smell-@MODULE@: $(@PACKAGE@SML)
393
394 $(@PACKAGE@SML:.smell=_cxx.ml) : $(MODDIRZ)/%_cxx.ml : $(MODDIR)/%.cxx
395         @[ -d $(dir $@) ] || mkdir -p $(dir $@)
396         $(MUTE)src2srcml $< $@
397
398 $(@PACKAGE@SML:.smell=_h.ml) : $(MODDIRZ)/%_h.ml : $(MODDIR)/%.h
399         @[ -d $(dir $@) ] || mkdir -p $(dir $@)
400         $(MUTE)src2srcml $< $@
401
402 $(@PACKAGE@SML) : $(MODDIRZ)/%.smell : $(MODDIRZ)/%_cxx.ml $(MODDIRZ)/%_h.ml
403         $(MUTE)echo smelling $@
404         $(MUTE)java -classpath $(SMELL_DETECTOR_DIR):$(SMELL_DETECTOR_DIR)/xom-1.1.jar -Xmx500m SmellDetector $^ > $@
405         $(MUTE)[ -s $@ ] || touch $@
406
407 .SECONDARY: $(@PACKAGE@SML:.smell=_cxx.ml) $(@PACKAGE@SML:.smell=_h.ml)
408
409 # targets to create .par archives (jgrosseo)
410 @PACKAGE@.par: $(patsubst %,@MODULE@/@PACKAGE@/%,$(filter-out dict.%, $(HDRS) $(SRCS) $(DHDR) $(PKGFILE) $(FSRCS) Makefile Makefile.arch lib@PACKAGE@.pkg PROOF-INF))
411         @echo "Creating archive" $@ ...
412         @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/"$@)
413         @rm -rf @MODULE@/@PACKAGE@
414
415 @MODULE@/@PACKAGE@/Makefile: @MODULE@/Makefile
416         @echo Copying $< to $@ with transformations
417         @[ -d $(dir $@) ] || mkdir -p $(dir $@)
418         @sed 's/include \$$(ROOTSYS)\/test\/Makefile.arch/include Makefile.arch/; s/PACKAGE = .*/PACKAGE = @PACKAGE@/' < $^ > $@
419
420 @MODULE@/@PACKAGE@/Makefile.arch: $(ROOTSYS)/test/Makefile.arch
421         @echo Copying $< to $@
422         @[ -d $(dir $@) ] || mkdir -p $(dir $@)
423         @cp -pR $^ $@
424
425 @MODULE@/@PACKAGE@/PROOF-INF: @MODULE@/PROOF-INF.@PACKAGE@
426         @echo Copying $< to $@
427         @[ -d $(dir $@) ] || mkdir -p $(dir $@)
428         @cp -pR $^ $@
429
430 @MODULE@/@PACKAGE@/%: @MODULE@/%
431         @echo Copying $< to $@
432         @[ -d $(dir $@) ] || mkdir -p $(dir $@)
433         @cp -pR $< $@
434
435 test-@PACKAGE@.par: @PACKAGE@.par
436         @echo "INFO: The file $< is now tested, in case of an error check in par-tmp/@PACKAGE@."
437         @mkdir -p par-tmp
438         @cd par-tmp; tar xfz ../$<;     cd $(subst .par,,$<); PROOF-INF/BUILD.sh
439         @rm -rf par-tmp/@PACKAGE@
440         @echo "INFO: Testing succeeded (already cleaned up)"