WIP: add nginx (currently, parsing only)
Showing
- nginx/.frama-c/GNUmakefile 190 additions, 0 deletionsnginx/.frama-c/GNUmakefile
- nginx/.frama-c/fc_stubs.c 23 additions, 0 deletionsnginx/.frama-c/fc_stubs.c
- nginx/.gitignore 1 addition, 0 deletionsnginx/.gitignore
- nginx/Makefile 27 additions, 0 deletionsnginx/Makefile
- nginx/auto/cc/acc 14 additions, 0 deletionsnginx/auto/cc/acc
- nginx/auto/cc/bcc 71 additions, 0 deletionsnginx/auto/cc/bcc
- nginx/auto/cc/ccc 46 additions, 0 deletionsnginx/auto/cc/ccc
- nginx/auto/cc/clang 99 additions, 0 deletionsnginx/auto/cc/clang
- nginx/auto/cc/conf 254 additions, 0 deletionsnginx/auto/cc/conf
- nginx/auto/cc/gcc 179 additions, 0 deletionsnginx/auto/cc/gcc
- nginx/auto/cc/icc 117 additions, 0 deletionsnginx/auto/cc/icc
- nginx/auto/cc/msvc 156 additions, 0 deletionsnginx/auto/cc/msvc
- nginx/auto/cc/name 70 additions, 0 deletionsnginx/auto/cc/name
- nginx/auto/cc/owc 103 additions, 0 deletionsnginx/auto/cc/owc
- nginx/auto/cc/sunc 163 additions, 0 deletionsnginx/auto/cc/sunc
- nginx/auto/configure 120 additions, 0 deletionsnginx/auto/configure
- nginx/auto/define 12 additions, 0 deletionsnginx/auto/define
- nginx/auto/endianness 50 additions, 0 deletionsnginx/auto/endianness
- nginx/auto/feature 123 additions, 0 deletionsnginx/auto/feature
- nginx/auto/have 12 additions, 0 deletionsnginx/auto/have
nginx/.frama-c/GNUmakefile
0 → 100644
nginx/.frama-c/fc_stubs.c
0 → 100644
nginx/.gitignore
0 → 100644
nginx/Makefile
0 → 100644
nginx/auto/cc/acc
0 → 100644
nginx/auto/cc/bcc
0 → 100644
nginx/auto/cc/ccc
0 → 100644
nginx/auto/cc/clang
0 → 100644
nginx/auto/cc/conf
0 → 100644
nginx/auto/cc/gcc
0 → 100644
nginx/auto/cc/icc
0 → 100644
nginx/auto/cc/msvc
0 → 100644
nginx/auto/cc/name
0 → 100644
nginx/auto/cc/owc
0 → 100644
nginx/auto/cc/sunc
0 → 100644
nginx/auto/configure
0 → 100755
nginx/auto/define
0 → 100644
nginx/auto/endianness
0 → 100644
nginx/auto/feature
0 → 100644
nginx/auto/have
0 → 100644
Please register or sign in to comment