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