[DEVOPS] folder with scripts to help installation.

4a80bd98 · Alexandre Delanoë · ab268184 · 4a80bd98 · 4a80bd98 · 4a80bd98
Commit 4a80bd98 authored May 07, 2019 by Alexandre Delanoë
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 3 deletions

build-doc devops/build-doc +3 -0

debian-install devops/debian-install +1 -3

docker-install devops/docker-install +0 -0

stats.jq devops/stats.jq +1 -0

No files found.
--- a/devops/build-doc
+++ b/devops/build-doc
+#!/bin/bash
+
+stack haddock  --no-haddock-deps
--- a/debian-install
+++ b/debian-install
@@ -2,8 +2,6 @@



-
-
 if git --version;
 then 
  echo "git installed, ok"
@@ -12,7 +10,7 @@ else
 fi

 sudo apt update
-sudo apt install liblzma-dev libpcre3-dev libblas-dev liblapack-dev pkg-config libgsl-dev libbz2-dev postgresql postgresql-server-dev-9.6
+sudo apt install liblzma-dev libpcre3-dev libblas-dev liblapack-dev pkg-config libgsl-dev libbz2-dev postgresql postgresql-server-dev-9.6 nginx

 #echo "Which user?"
 #read USER

--- a/docker-install
+++ b/docker-install
--- a/devops/stats.jq
+++ b/devops/stats.jq
+jq < repo.json '.state |= map_values(map_values(length)) | .history |= length'