1
61%
master: 61%

Ran 19 Feb 2019 03:14PM UTC

Files 37

Run time 2s

Badge

Embed ▾

Committed 19 Feb 2019 03:06PM UTC coverage: 80.378%. Remained the same

Job # 1046.1

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

build: use pkg-config from dune (#462)

* build: use pkg-config from dune

* We switch to pkg-config-based configuration from within Dune
and eliminate the need for propagating C libraries
linker switches from bottom to top because Dune has a dedicated
construction for this (c_library_flags).
The code is mostly taken from the Dune manual.

* Previously, (flags (-cclib -lstdc++ -cclib -lcrypto)) in src/runners/dune
suppressed some warnings-as-errors flags (-w @a-4-29-40-41-42-44-45-48-58-59-60-40),
hence the need to silence some creeped-in warnings.
`check_after_step` function used to have an unused `name` parameter.

* Update INSTALL.md to use pkg-config.

Run Details

3191 of 3970 relevant lines covered (80.38%)

9778.42 hits per line

Zilliqa / scilla / 1046 / 1
61%
master: 61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1046.1

Zilliqa / scilla / 1046 / 1 61% master: 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1046.1

Zilliqa / scilla / 1046 / 1
61%
master: 61%

README BADGES
x