Adding configuration for continuous integration

.gitlab-ci.yml

+image: registry.gitlab.lif.univ-mrs.fr:5005/dev/mincoverpetri/mincoverpetri
+
+tests_default:
+  tags:
+    - docker
+  script:
+    - mkdir build
+    - cd build
+    - cmake ..
+    - make coverage
+    - make memcheck
+
+tests_release:
+  tags:
+    - docker
+  script:
+    - mkdir build
+    - cd build
+    - cmake -D CMAKE_BUILD_TYPE=Release ..
+    - make coverage
+    - make memcheck
+
+pages:
+  tags:
+    - docker
+  only:
+    - master
+  script:
+    - mkdir public build build_linux build_win32 build_win64
+    - cd build
+    - cmake ..
+    - make coverage
+    - mv coverage ../public
+    - make doc
+    - mv ../doc ../public
+    - cd ../build_linux
+    - cmake -D STATIC_LINK=ON -D CMAKE_BUILD_TYPE=Release ..
+    - make zip_archive
+    - mv *.zip ../public
+    - cd ../build_win32
+    - cmake -D CROSS_COMPILE_WIN32=ON -D STATIC_LINK=ON \
+        -D CMAKE_BUILD_TYPE=Release ..
+    - make zip_archive
+    - mv *.zip ../public
+    - cd ../build_win64
+    - cmake -D CROSS_COMPILE_WIN64=ON -D STATIC_LINK=ON \
+        -D CMAKE_BUILD_TYPE=Release ..
+    - make zip_archive
+    - mv *.zip ../public
+    - cd ..
+    - ./webpage/generate_webpage.sh readme.md ./build_linux/mincoverpetri \
+        public/index.html
+    - cp tests/data/07.pnml public/figure_7.pnml
+  artifacts:
+    paths:
+      - public
+

readme.md

@@ -63,7 +63,8 @@ The **source code** can be downloaded from the associated
 The build instructions are given in the
 [developer
 documentation](http://dev.pages.lif.univ-mrs.fr/mincoverpetri/doc/src/html)
-and in the file src/developer_documentation.dox.
+and in the file
+[src/developer_documentation.dox](src/developer_documentation.dox).
 
 Documentation
 ----
@@ -85,7 +86,8 @@ documentation](http://dev.pages.lif.univ-mrs.fr/mincoverpetri/doc/src/html)
 is available online.
 
 It can also be automatically generated from the source code using
-[Doxygen](http://www.doxygen.org) (see src/developer_documentation.dox
+[Doxygen](http://www.doxygen.org) (see
+[src/developer_documentation.dox](src/developer_documentation.dox)
 for details).
 
 Dependencies

src/developer_documentation.dox

@@ -332,9 +332,12 @@
  * A Docker image is used to run the continuous integration tasks.
  *
  * This image is publicly accessible and can be used as a preconfigured
- * development environment if wanted.
+ * development environment if wanted. For example, to run the image
+ * in an interactive session, run:
  *
- * The instructions on how to use this Docker image are available in this
+ *     docker run -it registry.gitlab.lif.univ-mrs.fr:5005/dev/mincoverpetri/mincoverpetri
+ *
+ * Some instructions about this Docker image are available in this
  * [page](https://gitlab.lif.univ-mrs.fr/dev/mincoverpetri/container_registry).
  *
  * The Dockerfile used to generate the Docker image is available in the

src/main.hpp

@@ -40,7 +40,7 @@
 #include "mincoversetcomputer.hpp"
 
 
-#define VERSION_NUMBER "0.0.0"  ///< Version number of the application
+#define VERSION_NUMBER "1.0.0"  ///< Version number of the application
 
 /**
  * \brief Set of flags parametrizing the output sent to stdout by the

webpage/generate_webpage.sh

@@ -81,7 +81,7 @@ The source code can be downloaded from the associated
 
 The build instructions are given in the
 [developer
-documentation](/doc/src/html).
+documentation](http://dev.pages.lif.univ-mrs.fr/mincoverpetri/doc/src/html).
 
 ### Example data
 
@@ -119,7 +119,8 @@ echo \
 
 ### Developer documentation
 
-The developer documentation is available [here](doc/src/html).
+The developer documentation is available
+[here](http://dev.pages.lif.univ-mrs.fr/mincoverpetri/doc/src/html).
 
 " >> ${TMP_PREFIX}doc