Skip to content

Commit 8a05afd

Browse files
KihongHeoKihongHeo
committed
[Build] add missing files
1 parent 61f5c39 commit 8a05afd

File tree

3 files changed

+6
-52
lines changed

3 files changed

+6
-52
lines changed

‎.gitignore‎

Lines changed: 0 additions & 52 deletions
Original file line numberDiff line numberDiff line change
@@ -1,55 +1,5 @@
11
# /
2-
/camlprim0.obj
3-
/*.a
4-
/*.o
5-
/*.obj
6-
/*.i
7-
/*.pdb
8-
/*.s
9-
/*.asm
10-
/*.out
11-
/allheaders
12-
/allcfiles
13-
/allmlfiles
14-
/.emacs.desktop
15-
/out
16-
/site-config.mk
17-
/__scalar2pointer.txt
18-
/*.log
19-
/tmp*
20-
/*.log.prev
21-
/make.out*
22-
/odoc
23-
/Makefile
24-
/Makefile.features
25-
/config.status
26-
/*.tar.gz
27-
/.ccuredrc
28-
/allsrcs
29-
/TEMP_cil-distrib
30-
/TEMP_ccured_distrib
31-
/.gdbinit
32-
/autom4te*.cache
33-
/config.h
34-
/cil.spec
35-
/cvss.txt
36-
/configure.lineno
37-
/confstat*
38-
/config.mk
39-
/TEMP_cil-bindistrib
402
/_build
41-
/_log
42-
/README
43-
/index.html
44-
/stamp-h
45-
/META
46-
47-
# /debian/
48-
/debian/build-stamp
49-
/debian/cil
50-
/debian/cil-dev
51-
/debian/files
52-
/debian/tmp
533

544
# /doc/
555
/doc/*.mfj
@@ -102,8 +52,6 @@
10252
# /src/
10353
/src/*.output
10454
/src/ChangeLog
105-
/src/machdep-ml.c
106-
/src/cilversion.ml
10755
/src/feature_config.ml
10856
/src/machdep.ml
10957

‎Makefile‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
all:
2+
dune build
3+
4+
clean:
5+
dune clean

‎src/cilversion.ml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
let cilVersion = "%%VERSION_NUM%%"

0 commit comments

Comments
 (0)