]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/html/Makefile
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / html / Makefile
1 # Note: "make FRAMES=x" works too
2 FRAMES = yes
3 #FRAMES = no
4
5 DESTDIR = /projects/mowgli/public_html
6 #DESTDIR = /tmp/mowgli
7
8 HTMLDESTDIRSUFFIX = html_$(FRAMES)_frames
9
10 HTMLDESTDIR = $(DESTDIR)/$(HTMLDESTDIRSUFFIX)
11
12 XSLTP = xsltproc --param current-date "'`date`'"
13 TEMPLATESROOT = ../templates
14 XMLROOT = ../xml
15 XSLROOT = ../xsl
16
17 RMDOCTYPE = "s/<\\!DOCTYPE[^>]*>//"
18
19 XHTMLCONTENT = $(XSLROOT)/xhtml-content.xsl
20
21 PEOPLE = \
22         people/aei/kelley.html \
23         people/aei/pollney.html \
24         people/aei/schutz.html \
25         people/aei/velden.html \
26         people/aei/wegner.html \
27         people/aei/weyher.html \
28         people/bologna/asperti.html \
29         people/bologna/guidi.html \
30         people/bologna/padovani.html \
31         people/bologna/sacerdoti.html \
32         people/bologna/schena.html \
33         people/dfki/kohlhase.html \
34         people/dfki/melis.html \
35         people/dfki/siekmann.html \
36         people/dfki/moschner.html \
37         people/dfki/goguadze.html \
38         people/dfki/libbrecht.html \
39         people/inria/amerkad.html \
40         people/inria/bertot.html \
41         people/inria/chicli.html \
42         people/inria/delahaye.html \
43         people/inria/herbelin.html \
44         people/inria/naciri.html \
45         people/inria/pottier.html \
46         people/inria/rideau.html \
47         people/inria/thery.html \
48         people/inria/werner.html \
49         people/nijmegen/barendregt.html \
50         people/nijmegen/barreiro.html \
51         people/nijmegen/cohen.html \
52         people/nijmegen/cruz-filipe.html \
53         people/nijmegen/geuvers.html \
54         people/nijmegen/niqui.html \
55         people/nijmegen/stein.html \
56         people/nijmegen/synek.html \
57         people/nijmegen/wiedijk.html \
58         people/trusted-logic/bolignano.html \
59         people/trusted-logic/gimenez.html \
60         people/trusted-logic/loiseaux.html
61
62 DOCUMENTS = \
63             index.html \
64             home.html \
65             menu.html \
66             proposal/project-management.html \
67             proposal/project-objectives.html \
68             proposal/project-summary.html \
69             proposal/contribution.html \
70             proposal/innovation.html \
71             proposal/EC-contribution.html \
72             proposal/econ-scient-tech-prospects.html \
73             proposal/project-planning.html \
74             proposal/project-components.html \
75             consortium.html \
76             project.html \
77             news.html \
78             other-events.html \
79             mowgli-events.html \
80             deadlines.html \
81             people-list.html \
82             slides/mowgligroup.html \
83             deliverables/distribution/d5a.html \
84             deliverables/distribution/d5b.html \
85             deliverables/information-dissemination-and-exploitation/d7a.html \
86             deliverables/information-dissemination-and-exploitation/d7b.html \
87             deliverables/interfaces/d4a.html \
88             deliverables/interfaces/d4b.html \
89             deliverables/interfaces/d4c.html \
90             deliverables/interfaces/d4d.html \
91             deliverables/interfaces/d4e.html \
92             deliverables/metadata/d3a.html \
93             deliverables/metadata/d3b.html \
94             deliverables/project-management/d0a.html \
95             deliverables/project-management/d0b.html \
96             deliverables/project-management/d0c.html \
97             deliverables/project-management/d0d.html \
98             deliverables/requirement-analysis/d1a.html \
99             deliverables/requirement-analysis/d1b.html \
100             deliverables/requirement-analysis/d1c.html \
101             deliverables/testing-and-validation/d6a.html \
102             deliverables/testing-and-validation/d6b.html \
103             deliverables/testing-and-validation/d6c.html \
104             deliverables/testing-and-validation/d6d.html \
105             deliverables/transformation/d2a.html \
106             deliverables/transformation/d2b.html \
107             deliverables/transformation/d2c.html \
108             deliverables/transformation/d2d.html \
109             deliverables/transformation/d2e.html \
110             deliverables/transformation/d2f.html \
111             deliverables/transformation/d2g.html \
112             members/index.html \
113             members/ml-help-example.txt \
114             members/kick-off.html \
115             mowgli-events/kick-off.html \
116             software/index.html \
117             sites/aei.html \
118             sites/bologna.html \
119             sites/dfki.html \
120             sites/inria.html \
121             sites/nijmegen.html \
122             sites/trusted-logic.html \
123             publications/index.html \
124             publications/mowgli/crimea2002_aw_on_line.html \
125             publications/mowgli/crimea2002_aw.html \
126             publications/others/category_al.html \
127             publications/others/crimea2001_apss.html \
128             publications/others/cup_s.html \
129             publications/others/cup_s2.html \
130             publications/others/extreme2001_apss.html \
131             publications/others/har_bg.html \
132             publications/others/jep_ws.html \
133             publications/others/jep_wwsw.html \
134             publications/others/jlp2001_scg.html \
135             publications/others/mathml2000_apss.html \
136             publications/others/mscs_gb.html \
137             publications/others/tcs2001_og.html \
138             publications/others/tphols2000_gwz.html \
139             publications/others/tphols2001_apss.html \
140             publications/others/w3c_bl98.html \
141             publications/others/cup_hp91.html \
142             publications/others/cup_hp93.html \
143             publications/others/cc.html \
144             work-packages/index.html \
145             work-packages/distribution.html \
146             work-packages/information-dissemination-and-exploitation.html \
147             work-packages/interfaces.html \
148             work-packages/metadata.html \
149             work-packages/project-management.html \
150             work-packages/requirement-analysis.html \
151             work-packages/testing-and-validation.html \
152             work-packages/transformation.html \
153             $(PEOPLE)
154
155 all: $(DOCUMENTS)
156
157 home.html: $(XMLROOT)/home.xml \
158            $(XMLROOT)/news.xml \
159            $(XMLROOT)/other-events.xml \
160            $(XMLROOT)/mowgli-events.xml \
161            $(XSLROOT)/latest-news.xsl \
162            $(XSLROOT)/approaching-deadlines.xsl \
163            $(XHTMLCONTENT)
164         $(XSLTP) -o latest-news.xml $(XSLROOT)/latest-news.xsl $(XMLROOT)/news.xml
165         $(XSLTP) --param today `date +%Y%m%d` -o approaching-deadlines.xml $(XSLROOT)/approaching-deadlines.xsl $(XMLROOT)/other-events.xml
166         $(XSLTP) --param make_header "false()" --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) $(XMLROOT)/home.xml
167
168 menu.html: $(XMLROOT)/menu.xml $(XHTMLCONTENT)
169         $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" --param make_header "false()" --param make_footer "false()" -o $@ $(XHTMLCONTENT) $<
170
171 index.html: $(TEMPLATESROOT)/index.html
172         cp $< $@
173
174 members/ml-help-example.txt: $(TEMPLATESROOT)/ml-help-example.txt
175         cp $< $@
176
177 slides/%.html: $(XMLROOT)/slides/%.xml $(XHTMLCONTENT)
178         $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) $<
179
180 members/index.html: $(XMLROOT)/members-index.xml \
181                     $(XHTMLCONTENT)
182         sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
183
184 members/kick-off.html: $(XMLROOT)/members/kick-off.xml \
185                     $(XSLROOT)/minutes.xsl \
186                     $(XHTMLCONTENT)
187         $(XSLTP) $(XSLROOT)/minutes.xsl $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
188
189 software/index.html: $(XMLROOT)/software/index.xml \
190                      $(XHTMLCONTENT)
191         $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) $<
192
193 proposal/project-management.html: $(XMLROOT)/proposal/project-management.xml \
194                   $(XHTMLCONTENT) \
195                   $(XSLROOT)/management.xsl
196         $(XSLTP) $(XSLROOT)/management.xsl $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
197
198 proposal/project-summary.html: $(XMLROOT)/proposal/project-summary.xml \
199                       $(XHTMLCONTENT)
200         sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
201
202 proposal/project-objectives.html: $(XMLROOT)/proposal/project-objectives.xml \
203                          $(XHTMLCONTENT)
204         sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
205
206 proposal/contribution.html: $(XMLROOT)/proposal/contribution.xml \
207                          $(XHTMLCONTENT)
208         sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
209
210 proposal/innovation.html: $(XMLROOT)/proposal/innovation.xml \
211                          $(XHTMLCONTENT)
212         sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
213
214 proposal/EC-contribution.html: $(XMLROOT)/proposal/EC-contribution.xml \
215                          $(XHTMLCONTENT)
216         sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
217
218 proposal/econ-scient-tech-prospects.html: $(XMLROOT)/proposal/econ-scient-tech-prospects.xml \
219                          $(XHTMLCONTENT)
220         sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
221
222 proposal/project-planning.html: $(XMLROOT)/proposal/project-planning.xml \
223                          $(XHTMLCONTENT)
224         sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
225
226 proposal/project-components.html: $(XMLROOT)/proposal/project-components.xml \
227                          $(XHTMLCONTENT)
228         sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
229
230 mowgli-events/kick-off.html: $(XMLROOT)/mowgli-events/kick-off.xml \
231                              $(XHTMLCONTENT)
232         sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
233
234 people-list.html: $(XMLROOT)/people/index.xml \
235                   $(XSLROOT)/people-list.xsl \
236                   $(XHTMLCONTENT) 
237         $(XSLTP) $(XSLROOT)/people-list.xsl $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
238
239 consortium.html: $(XMLROOT)/consortium.xml \
240                  $(XSLROOT)/consortium.xsl \
241                  $(XHTMLCONTENT) 
242         $(XSLTP) $(XSLROOT)/consortium.xsl $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
243
244 project.html: $(XMLROOT)/project.xml \
245               $(XSLROOT)/project.xsl \
246               $(XHTMLCONTENT) 
247         $(XSLTP) $(XSLROOT)/project.xsl $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
248
249
250 news.html: $(XMLROOT)/news.xml \
251            $(XSLROOT)/news.xsl \
252            $(XHTMLCONTENT) 
253         $(XSLTP) $(XSLROOT)/news.xsl $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
254
255
256 other-events.html: $(XMLROOT)/other-events.xml \
257                    $(XSLROOT)/events.xsl \
258                    $(XHTMLCONTENT) 
259         $(XSLTP) --param today `date +%Y%m%d` --param events-class "'Other'" $(XSLROOT)/events.xsl $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
260
261
262 mowgli-events.html: $(XMLROOT)/mowgli-events.xml \
263                     $(XSLROOT)/events.xsl \
264                     $(XHTMLCONTENT) 
265         $(XSLTP) --param today `date +%Y%m%d` --param events-class "'MOWGLI'" $(XSLROOT)/events.xsl $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
266
267
268 deadlines.html: $(XMLROOT)/other-events.xml \
269                 $(XSLROOT)/deadlines.xsl \
270                 $(XHTMLCONTENT) 
271         $(XSLTP) --param today `date +%Y%m%d` --param events-class "'Other'" $(XSLROOT)/deadlines.xsl $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
272
273
274 deliverables/%.html: $(XMLROOT)/deliverables/%.xml \
275                      $(XSLROOT)/deliverable.xsl \
276                      $(XHTMLCONTENT) 
277         $(XSLTP) $(XSLROOT)/deliverable.xsl $< | $(XSLTP) --param path_to_top "'../..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
278
279
280 sites/%.html: $(XMLROOT)/sites/%.xml \
281               $(XSLROOT)/site.xsl \
282               $(XHTMLCONTENT) 
283         $(XSLTP) $(XSLROOT)/site.xsl $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
284
285
286 people/%.html: $(XMLROOT)/people/%.xml \
287                $(XSLROOT)/person.xsl \
288                $(XHTMLCONTENT) 
289         $(XSLTP) $(XSLROOT)/person.xsl $< | $(XSLTP) --param path_to_top "'../..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
290
291
292 publications/index.html: $(XMLROOT)/publications/index.xml \
293                          $(XSLROOT)/publications-index.xsl \
294                          $(XHTMLCONTENT) 
295         $(XSLTP) $(XSLROOT)/publications-index.xsl $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
296
297
298 publications/mowgli/%_on_line.html: $(XMLROOT)/publications/mowgli/%_on_line.xml \
299                      $(XHTMLCONTENT) 
300         $(XSLTP) --param path_to_top "'../..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) $<
301
302
303 publications/%.html: $(XMLROOT)/publications/%.xml \
304                      $(XSLROOT)/publication.xsl \
305                      $(XHTMLCONTENT) 
306         $(XSLTP) $(XSLROOT)/publication.xsl $< | $(XSLTP) --param path_to_top "'../..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
307
308 work-packages/index.html: $(XMLROOT)/work-packages/index.xml \
309                           $(XSLROOT)/work-packages_index.xsl \
310                           $(XHTMLCONTENT) 
311         $(XSLTP) $(XSLROOT)/work-packages_index.xsl $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
312
313         
314 work-packages/%.html: $(XMLROOT)/work-packages/%.xml \
315                       $(XSLROOT)/work-package.xsl \
316                       $(XHTMLCONTENT) 
317         $(XSLTP) $(XSLROOT)/work-package.xsl $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
318
319
320 clean:
321         rm -f $(DOCUMENTS) approaching-deadlines.xml latest-news.xml
322 .PHONY: clean
323
324 install: $(DOCUMENTS)
325         mkdir -p $(HTMLDESTDIR)
326         for i in $(dir $(DOCUMENTS)); do \
327                 mkdir -p $(HTMLDESTDIR)/$$i; \
328         done
329         for i in $(DOCUMENTS); do \
330                 cp $$i $(HTMLDESTDIR)/$$i; \
331         done
332         mkdir -p $(DESTDIR)/images
333         cp ../images/*.* $(DESTDIR)/images
334         mkdir -p $(DESTDIR)/style
335         cp ../style/*.css $(DESTDIR)/style
336         cp ../htaccess $(HTMLDESTDIR)/members/.htaccess
337         mkdir -p $(DESTDIR)/misc/proposal
338         cp ../htaccess $(DESTDIR)/misc/proposal/.htaccess
339         cp ../misc/proposal/*.* $(DESTDIR)/misc/proposal
340         mkdir -p $(DESTDIR)/misc/contract
341         cp ../htaccess $(DESTDIR)/misc/contract/.htaccess
342         cp ../misc/contract/*.* $(DESTDIR)/misc/contract
343         cp ../misc/kick-off/*.* $(DESTDIR)/misc/kick-off
344         cp ../htaccess $(DESTDIR)/misc/kick-off/.htaccess
345         if [ $(FRAMES) = yes ] ; \
346         then \
347          sed s/menu\\.html/$(HTMLDESTDIRSUFFIX)\\/menu\\.html/ <index.html | \
348           sed s/home\\.html/$(HTMLDESTDIRSUFFIX)\\/home\\.html/ >$(DESTDIR)/index.html ; \
349          else \
350           cp home.html $(HTMLDESTDIR)/index.html ; \
351         fi
352
353 uninstall:
354         rm -rf $(DESTDIR)/*
355
356 $(XSLROOT)/%.xsl : $(XSLROOT)/common.xsl
357 $(XSLROOT)/latest-news.xsl : $(XSLROOT)/news.xsl
358 $(DOCUMENTS) : $(XSLROOT)/common.xsl
359