[ci] generate server doc

.gitlab-ci.yml

@@ -207,6 +207,7 @@ api-doc: # Note: the Nix store avoids rebuilding
   artifacts:
     paths:
       - api/frama-c-api.tar.gz
+      - api/frama-c-server-api.tar.gz
     expire_in: 7 days
 
 # Build distribution tarball

nix/api-doc.nix

 { lib
 , stdenv
 , frama-c
+, pandoc
 , odoc
 } :
 
@@ -9,27 +10,28 @@ stdenv.mkDerivation rec {
   version = frama-c.version;
   slang = frama-c.slang;
 
-  src = frama-c.src;
-
-  nativeBuildInputs = frama-c.nativeBuildInputs;
+  src = frama-c.build_dir + "/dir.tar";
+  sourceRoot = ".";
 
   buildInputs = frama-c.buildInputs ++ [
+    pandoc
     odoc
   ];
 
-  preConfigure = frama-c.preConfigure;
-
   buildPhase = ''
     dune build -j1 @doc
-
     cp -r _build/default/_doc/_html frama-c-api
-
     echo ".dummy" > excluded
     tar czf frama-c-api.tar.gz -X excluded frama-c-api
+
+    make server-doc NO_BUILD_FRAMAC=yes
+    cp -r doc/server frama-c-server-api
+    tar czf frama-c-server-api.tar.gz frama-c-server-api
   '';
 
   installPhase = ''
     mkdir -p $out
     cp frama-c-api.tar.gz $out
+    cp frama-c-server-api.tar.gz $out
   '';
 }

share/Makefile.serverdoc

@@ -28,7 +28,12 @@
 
 .PHONY: server-doc-md server-doc-html server-doc
 
+ifeq (NO_BUILD_FRAMAC,yes)
+# Make sure that Frama-C is not rebuilt essentially for CI purpose
+server-doc-md:
+else
 server-doc-md: all
+endif
 	$(PRINT) 'Generating Markdown server documentation'
 	@rm -fr doc/server
 	@mkdir -p doc/server