in clean-classic for linux-x64 remove Dynamics directory

clean-classic/linux-x64/build.sh

@@ -27,7 +27,6 @@ mv compiler step0/
 mv write_clean_manual step0/
 mv htoclean step0/
 mv elf_linker step0/
-mv StdDynamicEnv step0/
 mv clean-ide step0/
 mv clean-platform step0/
 ./clean-classic/linux-x64/build_htoclean.sh

clean-classic/linux-x64/build_clean.sh

@@ -78,14 +78,6 @@ cp clean-libraries/Libraries/TCPIP/Linux_C/cTCP_121.o "clean/data/TCPIP/Clean Sy
 cp clean-libraries/Libraries/TCPIP/Linux_C/cTCP_121.c "clean/data/TCPIP/Clean System Files"
 cp clean-libraries/Libraries/TCPIP/Linux_C/cTCP_121.h "clean/data/TCPIP/Clean System Files"
 
-mkdir -p "clean/data/Dynamics/Clean System Files"
-cp StdDynamicEnv/extension/StdCleanTypes.dcl clean/data/Dynamics
-cp StdDynamicEnv/extension/StdCleanTypes.icl clean/data/Dynamics
-cp StdDynamicEnv/extension/StdDynamic.dcl clean/data/Dynamics
-cp StdDynamicEnv/extension/StdDynamicNoLinker.icl clean/data/Dynamics/StdDynamic.icl
-cp StdDynamicEnv/implementation/_SystemDynamic.dcl clean/data/Dynamics
-cp StdDynamicEnv/implementation/_SystemDynamic.icl clean/data/Dynamics
-
 mkdir -p clean/data/Platform
 cp -r -t clean/data/Platform clean-platform/src/libraries/OS-Independent/*
 cp -r -t clean/data/Platform clean-platform/src/libraries/OS-Posix/*

clean-classic/linux-x64/build_libraries.sh

-cp -R --preserve=timestamps svn/StdDynamicEnv .
-
 (cd git/clean-libraries; git checkout master \
          Libraries/Directory Libraries/TCPIP Libraries/StdLib Libraries/GenLib Libraries/MersenneTwister)
 

clean-classic/linux-x64/cleanup.sh

@@ -10,7 +10,6 @@ rm -rf htoclean
 rm -rf elf_linker
 rm -rf stdenv
 rm -rf write_clean_manual
-rm -rf StdDynamicEnv
 rm -rf clean-platform
 rm -rf CleanExamples
 rm -rf sapldynamics

clean-classic/linux-x64/get_sources.sh

@@ -14,6 +14,5 @@ cd ..
 mkdir svn
 cd svn
 svn export https://svn.cs.ru.nl/repos/clean-tools/trunk clean-tools
-svn export https://svn.cs.ru.nl/repos/clean-dynamic-system/trunk/dynamics/StdDynamicEnv StdDynamicEnv
 cd ..
 

clean-classic/linux-x64/txt/Makefile

@@ -56,7 +56,7 @@ GMAKECURRENTDIR = ${shell echo `pwd`}
 #
 # Install section
 #
-install: install_bin install_stdenv install_man install_doc install_ArgEnv install_Generics install_Gast install_StdLib install_Directory install_MersenneTwister install_TCPIP install_Dynamics install_Platform $(PATCHES)
+install: install_bin install_stdenv install_man install_doc install_ArgEnv install_Generics install_Gast install_StdLib install_Directory install_MersenneTwister install_TCPIP install_Platform $(PATCHES)
 	$(PATCH_BIN) $(INSTALL_CLM) CLEANLIB $(INSTALL_EXE_DIR)
 	
 io: install
@@ -204,13 +204,6 @@ $(INSTALL_LIB_DIR)/TCPIP:
 install_TCPIP: $(INSTALL_LIB_DIR)/TCPIP
 	cp -R data/TCPIP/* $(INSTALL_LIB_DIR)/TCPIP
 
-$(INSTALL_LIB_DIR)/Dynamics:
-	mkdir -p $@
-	mkdir -p $@/"Clean System Files"
-
-install_Dynamics: $(INSTALL_LIB_DIR)/Dynamics
-	cp -R data/Dynamics/* $(INSTALL_LIB_DIR)/Dynamics
-
 $(INSTALL_LIB_DIR)/Platform:
 	mkdir -p $@
 	mkdir -p $@/"Clean System Files"