-
Notifications
You must be signed in to change notification settings - Fork 28
/
Copy path_oasis
55 lines (45 loc) · 1.2 KB
/
_oasis
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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
Name: Sparrow
Version: 0.2
Synopsis: Static analyzer for C.
Authors: Programmin Research Laboratory (ROPAS), Seoul National University
License: BSD-3-clause
Description: Sparrow is a state-of-the-art static analyzer that aims to verify the absence of fatal bugs in C source.
Homepage: https://github.com/ropas/sparrow
OASISFormat: 0.4
BuildTools: ocamlbuild
Plugins: META (0.4), DevFiles (0.4)
PostBuildCommand:
cp -f main.native bin/sparrow
cp -f vis.native bin/sparrow-vis
rm -f main.native vis.native test.native
PostInstallCommand:
install bin/harmless_unsoundness.py $bindir
install -d $prefix/etc/sparrow
install etc/* $prefix/etc/sparrow/
PostCleanCommand:
rm -f bin/sparrow*
rm -f bin/.lymp*
rm -f bin/*.pyc
rm -f bin/python_log
PostUninstallCommand:
rm $bindir/sparrow*
rm $bindir/harmless_unsoundness.py
rm -rf $prefix/etc/sparrow
Executable "sparrow"
Path: src/core
MainIs: main.ml
CompiledObject: best
Executable "sparrow-vis"
Path: src/core
MainIs: vis.ml
CompiledObject: best
Executable "test"
Path: test
MainIs: test.ml
Install: false
Build$: flag(tests)
CompiledObject: best
Test "main"
TestTools: sparrow
WorkingDirectory: test
Command: $test