Merge branch 'feature/aorai/Makefile-cleanup' into 'master'

[aorai] remove obsolete release target from Aoraï's Makefile.

See merge request frama-c/frama-c!2061

src/plugins/aorai/Makefile.in

@@ -84,8 +84,6 @@ PLUGIN_TESTS_LIB:=$(PLUGIN_DIR)/tests/aorai/Aorai_test.ml
 
 include $(FRAMAC_SHARE)/Makefile.dynamic
 
-# Regenerating the Makefile on need
-
 ifeq ("$(FRAMAC_INTERNAL)","yes")
 CONFIG_STATUS_DIR=$(FRAMAC_SRC)
 AORAI_WP_SHARE=-aorai-test-wp-share $(FRAMAC_ROOT_SRCDIR)/src/plugins/wp/share
@@ -105,6 +103,8 @@ $(Aorai_DIR)/tests/test_config_prove: \
 
 Aorai_DEFAULT_TESTS: $(Aorai_DIR)/tests/aorai/Aorai_test.cmxs $(Aorai_DIR)/tests/aorai/Aorai_test.cmo
 
+# Regenerating the Makefile on need
+
 $(Aorai_DIR)/Makefile: $(Aorai_DIR)/Makefile.in \
 			$(CONFIG_STATUS_DIR)/config.status
 	cd $(CONFIG_STATUS_DIR) && ./config.status --file $@
@@ -113,58 +113,3 @@ headers::
 	$(SED) -e 's/This file is/Files in this archive are/' \
 	       $(FRAMAC_SRC)/headers/open-source/INSA_INRIA_LGPL \
 	> $(FRAMAC_SRC)/doc/aorai/example/LICENSE
-
-LOCAL_SRC_DIR=aorai
-COMMON_FILES_TO_COPY=$(PLUGIN_DISTRIB_EXTERNAL) Makefile.in YA.README INSTALL VERSIONS.txt
-FRAMAC_SRC_ROOT=../../..
-LOCAL_WEB_ROOT=/home/nstouls/Projets/AMAZONES/ForgeINRIA/main/aorai/
-LOCAL_WEB_DIFFUSION=$(LOCAL_WEB_ROOT)/site/src/site/resources
-TODAY=`date  +"%d-%m-%Y - %T"`
-TAGIN=<\!--START DATE-->
-TAGOUT=<\!--END DATE-->
-INDEX=$(LOCAL_WEB_DIFFUSION)/index.html
-
-pre-release:
-	mkdir -p $(LOCAL_SRC_DIR)/doc
-
-	@echo '## Generating bin and doc'
-	@make -C $(FRAMAC_SRC_ROOT) depend --quiet
-	@make -C $(FRAMAC_SRC_ROOT) --quiet
-	@make -C $(FRAMAC_SRC_ROOT) $(PLUGIN_NAME)_DOC --quiet
-	cp -r $(FRAMAC_SRC_ROOT)/doc/code/aorai $(LOCAL_SRC_DIR)/doc/.
-	cp  $(FRAMAC_SRC_ROOT)/doc/code/frama-c.png $(LOCAL_SRC_DIR)/doc/.
-	cp  $(FRAMAC_SRC_ROOT)/doc/code/style.css $(LOCAL_SRC_DIR)/doc/.
-
-	@make -C $(FRAMAC_SRC_ROOT)/doc/aorai/  --quiet
-	@make -C $(FRAMAC_SRC_ROOT)/doc/aorai/ install  --quiet
-	cp  $(FRAMAC_SRC_ROOT)/doc/manuals/aorai-manual.pdf $(LOCAL_SRC_DIR)/doc/.
-	cp  $(FRAMAC_SRC_ROOT)/doc/manuals/aorai-example.tgz $(LOCAL_SRC_DIR)/doc/.
-
-	@echo '## Deployment for local release'
-	@make clean --quiet
-# SRC directory generation
-	if [ -d autom4te.cache ] ; then rm -rf  autom4te.cache ; fi
-	cp *.* $(LOCAL_SRC_DIR)
-
-# Commun files copy
-	for f in $(COMMON_FILES_TO_COPY) ; do \
-		cp $$f $(LOCAL_SRC_DIR)/. ; \
-	done
-
-	@echo "## Generating archive"
-	tar -czf $(LOCAL_SRC_DIR).tgz $(LOCAL_SRC_DIR)
-	@echo "## Done."
-	@echo "## Please make 'pre-release-deploy' to move archive to $(LOCAL_WEB_DIFFUSION)"
-
-pre-release-deploy: $(LOCAL_SRC_DIR).tgz
-	@echo "## Moving archive to $(LOCAL_WEB_DIFFUSION)"
-	mv $(LOCAL_SRC_DIR).tgz $(LOCAL_WEB_DIFFUSION)
-	cat $(INDEX) | sed "s/$(TAGIN).*$(TAGOUT)/$(TAGIN)$(TODAY)$(TAGOUT)/" $(INDEX) > $(INDEX)2
-	mv $(INDEX)2 $(INDEX)
-	@echo "## Website updated"
-	cd $(LOCAL_WEB_ROOT) && ./CreateHTML.sh
-
-clean-all:
-	@make clean
-	@echo '## Removing generated directories'
-	@rm -rf $(LOCAL_SRC_DIR)