File: .gitignore

package info (click to toggle)
linksem 0.8%2Bdfsg3-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 5,376 kB
  • sloc: asm: 9,188; ansic: 5,856; ml: 2,918; yacc: 1,310; lex: 721; sh: 119; makefile: 63
file content (32 lines) | stat: -rw-r--r-- 451 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
*.cmi
*.cmo
*.cmx
*.cmt

src/**/*.o

src/**/*.ml
!src/utility.ml
!src/uint32_wrapper.ml
!src/uint64_wrapper.ml
!src/ml_bindings.ml
!src/byte_sequence_wrapper.ml
!src/filesystem_wrapper.ml
!src/src_lem_library/*.ml

*.opt

src/main_elf
src/main_elf.native
src/main_link
src/main_link.native
src/main_load
src/main_load.native
src/copy_elf
src/copy_elf.native
src/lem_ocaml_sentinel

src/build_num
src/build_zarith
src/_build
src/byte_sequence_impl.lem