include /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/Makefile.conf

.PHONY: clean all dist doc
.SECONDARY: doc

all:
	@echo "Calcul des dépendences..."
	@./compute_deps
	@echo "Compilation du module Self..."
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/. && $(OCAMLC) $(FRAMA_C_INCLUDES) $(CFLAGS)     self.ml -o self.cmo && $(OCAMLOPT) $(FRAMA_C_INCLUDES) $(CFLAGS) self.ml -o self.cmx
	@echo "Construction de SSL/..."
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/SSL/ && make -f Makefile.sub
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/SSL/ && cp -f *.cmo *.cmx *.cmi *.o /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src 2>/dev/null ; cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src
	@echo ""
	@echo "Construction de top_level/..."
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/top_level/ && make -f Makefile.sub
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/top_level/ && cp -f *.cmo *.cmx *.cmi *.o /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src 2>/dev/null ; cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src
	@echo ""
	@echo "Construction de global_mem/..."
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/global_mem/ && make -f Makefile.sub
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/global_mem/ && cp -f *.cmo *.cmx *.cmi *.o /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src 2>/dev/null ; cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src
	@echo ""
	@echo "Construction de flata_cautomata/..."
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/flata_cautomata/ && make -f Makefile.sub
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/flata_cautomata/ && cp -f *.cmo *.cmx *.cmi *.o /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src 2>/dev/null ; cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src
	@echo ""
	@echo "Construction de local_info_validity_mem/..."
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/local_info_validity_mem/ && make -f Makefile.sub
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/local_info_validity_mem/ && cp -f *.cmo *.cmx *.cmi *.o /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src 2>/dev/null ; cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src
	@echo ""
	@echo "Construction de composite_types/..."
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/composite_types/ && make -f Makefile.sub
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/composite_types/ && cp -f *.cmo *.cmx *.cmi *.o /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src 2>/dev/null ; cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src
	@echo ""
	@echo "Construction de ssl_and_validity_abstact_domain/..."
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/ssl_and_validity_abstact_domain/ && make -f Makefile.sub
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/ssl_and_validity_abstact_domain/ && cp -f *.cmo *.cmx *.cmi *.o /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src 2>/dev/null ; cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src
	@echo ""
	@echo "Construction de compile_2_nts/..."
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/compile_2_nts/ && make -f Makefile.sub
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/compile_2_nts/ && cp -f *.cmo *.cmx *.cmi *.o /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src 2>/dev/null ; cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src
	@echo ""
	@echo "Construction de c_upon_sslandnts_sem/..."
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/c_upon_sslandnts_sem/ && make -f Makefile.sub
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/c_upon_sslandnts_sem/ && cp -f *.cmo *.cmx *.cmi *.o /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src 2>/dev/null ; cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src
	@echo ""
	@echo "Construction de debug_tools/..."
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/debug_tools/ && make -f Makefile.sub
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/debug_tools/ && cp -f *.cmo *.cmx *.cmi *.o /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src 2>/dev/null ; cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src
	@echo ""
	@echo "Packing du plugin..."
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/ && make -f FC_Makefile && cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src
	@echo ""
	@echo "*** Compilation terminée ***"

install:
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/ && make -f FC_Makefile install && cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src

clean:
	@rm -f output.* >/dev/null
	@rm -f /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/ocamldoc.* >/dev/null
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/SSL/ && make -f Makefile.sub clean && cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/top_level/ && make -f Makefile.sub clean && cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/global_mem/ && make -f Makefile.sub clean && cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/flata_cautomata/ && make -f Makefile.sub clean && cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/local_info_validity_mem/ && make -f Makefile.sub clean && cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/composite_types/ && make -f Makefile.sub clean && cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/ssl_and_validity_abstact_domain/ && make -f Makefile.sub clean && cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/compile_2_nts/ && make -f Makefile.sub clean && cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/c_upon_sslandnts_sem/ && make -f Makefile.sub clean && cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/debug_tools/ && make -f Makefile.sub clean && cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/ && make -f FC_Makefile clean && cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src

mrproper:
	@rm -rf /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/doc >/dev/null 2>&1

dist:doc $(TAR_NAME).tar.gz

$(TAR_NAME).tar.gz: $(DIST_DIR)
	tar chof - $(DIST_DIR) | gzip -9 -c > $@
	rm -rf releases/$(TAR_NAME).tar.gz && mv $(TAR_NAME).tar.gz   releases/
	@rm -rf $(TAR_NAME)

$(DIST_DIR): clean
	@mkdir $(DIST_DIR)
	@cp configure README $(DIST_DIR)
	@cp -r /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src $(DIST_DIR)
	@cp -r /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/doc $(DIST_DIR)

doc: all
	@echo "Génération de la documentation..."
	-@mkdir /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/doc >/dev/null 2>&1
	-@mkdir /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/doc/html >/dev/null 2>&1
	-@mkdir /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/doc/latex >/dev/null 2>&1
	@cd /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src &&    ocamldoc -I /home/fgarnier/frama-c-Nitrogen-20111001/src/kernel     -I /home/fgarnier/frama-c-Nitrogen-20111001/src/project     -I /home/fgarnier/frama-c-Nitrogen-20111001/cil/ocamlutil     -I /home/fgarnier/frama-c-Nitrogen-20111001/cil/src/logic     -I /home/fgarnier/frama-c-Nitrogen-20111001/cil/src     -I /home/fgarnier/frama-c-Nitrogen-20111001/cil/src/ext     -I /home/fgarnier/frama-c-Nitrogen-20111001/src/lib     -I .     -I /home/fgarnier/frama-c-Nitrogen-20111001/lib/fc     -I /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/src/ -html -d /home/fgarnier/REPOSITORIES/flatac_web_site/flatac/doc/html *.ml top_level/*.ml SSL/*.ml   global_mem/*.ml composite_types/*.ml  flatac_cautomata/*.ml ssl_and_validity_abstract_domain/*.ml local_info_validity_mem/*.ml compile_2_nts/*.ml c_upon_sslandnts_sem/*.ml 
