From 2777753b7e4d5af4924f2c27105fe8ae497679f2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= <gwenael.delaval@inria.fr>
Date: Fri, 11 Dec 2015 16:58:26 +0100
Subject: [PATCH] Cleanup : removal of useless files

---
 compiler/.project                    | 37 ----------------------------
 compiler/.projectSettings            | 11 ---------
 compiler/README_ocamlbuild_hepts.txt |  7 ------
 compiler/TODO.txt                    |  6 -----
 4 files changed, 61 deletions(-)
 delete mode 100644 compiler/.project
 delete mode 100644 compiler/.projectSettings
 delete mode 100644 compiler/README_ocamlbuild_hepts.txt
 delete mode 100755 compiler/TODO.txt

diff --git a/compiler/.project b/compiler/.project
deleted file mode 100644
index 28367f7..0000000
--- a/compiler/.project
+++ /dev/null
@@ -1,37 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<projectDescription>
-	<name>heptc</name>
-	<comment></comment>
-	<projects>
-	</projects>
-	<buildSpec>
-		<buildCommand>
-			<name>Ocaml.ocamlbuildBuilder</name>
-			<arguments>
-			</arguments>
-		</buildCommand>
-	</buildSpec>
-	<natures>
-		<nature>ocaml.ocamlbuildnature</nature>
-	</natures>
-	<filteredResources>
-		<filter>
-			<id>1323971806815</id>
-			<name></name>
-			<type>30</type>
-			<matcher>
-				<id>org.eclipse.ui.ide.multiFilter</id>
-				<arguments>1.0-name-matches-false-false-_build</arguments>
-			</matcher>
-		</filter>
-		<filter>
-			<id>1323971806816</id>
-			<name></name>
-			<type>21</type>
-			<matcher>
-				<id>org.eclipse.ui.ide.multiFilter</id>
-				<arguments>1.0-name-matches-false-false-*.ml*</arguments>
-			</matcher>
-		</filter>
-	</filteredResources>
-</projectDescription>
diff --git a/compiler/.projectSettings b/compiler/.projectSettings
deleted file mode 100644
index d0629a9..0000000
--- a/compiler/.projectSettings
+++ /dev/null
@@ -1,11 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<section name="OcamlProjectSettings">
-	<section name="OcamlbuildSettings">
-		<item value="" key="ocamlbuildProjectLinkerFlags"/>
-		<item value="" key="ocamlbuildProjectLibs"/>
-		<item value="" key="ocamlbuildProjectCompilerFlags"/>
-		<item value="-j 0" key="ocamlbuildProjectOtherFlags"/>
-		<item value="true" key="ocamlbuildGenerateTypeInfo"/>
-		<item value="heptc.byte" key="ocamlbuildProjectTargets"/>
-	</section>
-</section>
diff --git a/compiler/README_ocamlbuild_hepts.txt b/compiler/README_ocamlbuild_hepts.txt
deleted file mode 100644
index ff11560..0000000
--- a/compiler/README_ocamlbuild_hepts.txt
+++ /dev/null
@@ -1,7 +0,0 @@
-To build the graphical simulator with ocamlbuild, one has to create an ocaml library
-containing gtkThread.cmo (resp. .cmx): it is not in the lablgtk library.
-
-To do so, go to the lablgtk library directory and type:
-
-ocamlc -a gtkThread.cmo -o lablgtkthread.cma
-ocamlopt -a gtkThread.cmx -o lablgtkthread.cmxa
diff --git a/compiler/TODO.txt b/compiler/TODO.txt
deleted file mode 100755
index a97125e..0000000
--- a/compiler/TODO.txt
+++ /dev/null
@@ -1,6 +0,0 @@
-- Ne plus forcer l'ordre constantes puis types puis definitions de noeud. Il
-faudra mettre à jour les phases du compilateur et modifier l'ast.
-- Ajouter des constantes locales
-
-- supprimer pinst dans minils
-- heptcheck