language: c
before_install:
  - sudo apt-get -qq update
  - sudo apt-get install -y pmake
script: pmake

language: c
before_install:
  - sudo apt-get -qq update
  - sudo apt-get install -y pmake splint
script: pmake

Add lint for the library build
Add lint for the library build
