jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Cleanup : removal of useless files

Browse source
This commit is contained in:
Gwenaël Delaval 2015-12-11 16:58:26 +01:00
parent 65908e7ca3
commit 2777753b7e
4 changed files with 0 additions and 61 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

37
compiler/.project
View file

@ -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>

11
compiler/.projectSettings
View file

@ -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>

7
compiler/README_ocamlbuild_hepts.txt
View file

@ -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

6
compiler/TODO.txt
View file

@ -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