dwarf-synthesis/.gitignore

# ---> OCaml
*.annot
*.cmo
*.cma
*.cmi
*.a
*.o
*.cmx
*.cmxs
*.cmxa

# ocamlbuild working directory
_build/

# ocamlbuild targets
*.byte
*.native

# oasis generated files
setup.data
setup.log

*.plugin
ml_dwarf_write.bin
tmp.marshal
dwarfsynth.tar.gz
tmp
Initial commit 2018-10-12 18:39:09 +02:00			`# ---> OCaml`
			`*.annot`
			`*.cmo`
			`*.cma`
			`*.cmi`
			`*.a`
			`*.o`
			`*.cmx`
			`*.cmxs`
			`*.cmxa`

			`# ocamlbuild working directory`
			`_build/`

			`# ocamlbuild targets`
			`*.byte`
			`*.native`

			`# oasis generated files`
			`setup.data`
			`setup.log`

Ignore and remove *.plugin compiled files Added by mistake previously — link to a built file under _build. Should not be there and prevents compilation. 2018-12-07 17:15:20 +01:00			`*.plugin`
Add synthesize_dwarf.sh Update documentation and Makefile accordingly. 2019-03-18 14:27:24 +01:00			`ml_dwarf_write.bin`
			`tmp.marshal`
Cleanup repository 2019-07-15 14:12:13 +02:00			`dwarfsynth.tar.gz`
			`tmp`