[ci] Partially enable lint

.gitlab-ci.yml

@@ -49,6 +49,14 @@ frama-c:
   tags:
     - nix
 
+lint:
+  stage: build
+  script:
+   - nix-build nix/pkgs.nix -A ocamlPackages.lint
+  coverage: '/lint coverage: \d+\.\d+/'
+  tags:
+   - nix
+
 ################################################################################
 ### TESTS
 
@@ -72,14 +80,6 @@ plugins-tests:
 ################################################################################
 ### PUBLIC
 
-# lint:
-#   stage: build
-#   script:
-#    - nix/frama-ci.sh build -A frama-c.lint
-#   coverage: '/lint coverage: \d+\.\d+/'
-#   tags:
-#    - nix
-
 # wp-qualif:
 #   stage: tests
 #   script:

nix/lint.nix

+# TODO:
+# - enable lint E-ACSL C files
+# - enable check-headers
+
+{ lib
+, stdenv
+, bc
+# , clang_10
+, frama-c
+# , headache
+, ocp-indent
+} :
+
+stdenv.mkDerivation rec {
+  pname = "lint";
+  version = frama-c.version;
+  slang = frama-c.slang;
+
+  src = frama-c.src;
+
+  nativeBuildInputs = frama-c.nativeBuildInputs;
+
+  buildInputs = frama-c.buildInputs ++ [
+    bc
+    # headache
+    ocp-indent
+    # clang_10
+  ];
+
+  preConfigure = frama-c.preConfigure;
+
+  buildPhase = ''
+    make lint
+    make stats-lint
+    # STRICT_HEADERS=yes make check-headers
+  '';
+
+  installPhase = ''
+    touch $out
+  '';
+}

nix/pkgs.nix

@@ -9,6 +9,7 @@ let
     why3 = oself.callPackage ./why3.nix {};
     # Builds
     frama-c = oself.callPackage ./frama-c.nix {};
+    lint = oself.callPackage ./lint.nix {};
     # Tests
     main-tests = oself.callPackage ./main-tests.nix {};
     plugins-tests = oself.callPackage ./plugins-tests.nix {};