From cae83f9fe51e27004dddb98b7c573102da96767a Mon Sep 17 00:00:00 2001 From: Steffen Graber Date: Wed, 6 Dec 2023 10:54:22 +0000 Subject: [PATCH 1/5] Add install instruction for NESTML --- doc/htmldoc/installation/user.rst | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/doc/htmldoc/installation/user.rst b/doc/htmldoc/installation/user.rst index ff80643fc8..4d8cf600cb 100644 --- a/doc/htmldoc/installation/user.rst +++ b/doc/htmldoc/installation/user.rst @@ -50,6 +50,19 @@ Ubuntu users can install NEST via the PPA repository. sudo apt-get install nest +3. Optional: Install `NESTML `_ + +.. code-block:: bash + + sudo apt install nest python3-nestml + python3 -m pip install --upgrade odetoolbox pygsl antlr4-python3-runtime==4.10 + +4. Set the environment + +.. code-block:: bash + + source /usr/bin/nest_vars.sh + Debian ~~~~~~ From 1823834462c8073679ab846f2b3b2a94da79012f Mon Sep 17 00:00:00 2001 From: Steffen Graber Date: Wed, 6 Dec 2023 11:13:48 +0000 Subject: [PATCH 2/5] Del section, hardly easier than source install --- doc/htmldoc/installation/user.rst | 69 +------------------------------ 1 file changed, 1 insertion(+), 68 deletions(-) diff --git a/doc/htmldoc/installation/user.rst b/doc/htmldoc/installation/user.rst index 4d8cf600cb..caa6e5eabf 100644 --- a/doc/htmldoc/installation/user.rst +++ b/doc/htmldoc/installation/user.rst @@ -63,75 +63,8 @@ Ubuntu users can install NEST via the PPA repository. source /usr/bin/nest_vars.sh -Debian -~~~~~~ - -Debian users can install NEST via the Ubuntu PPA repository. - -1. Create a new ``apt`` repository entry in ``/etc/apt/sources.list.d/nest-simulator-ubuntu-nest-XXX.list`` by: - -.. code-block:: bash - - sudo apt install devscripts build-essential software-properties-common dpkg-dev - sudo add-apt-repository --enable-source ppa:nest-simulator/nest - -2. Disable the binary package in the repository file created under ``/etc/apt/sources.list.d/`` by commenting - out the ``deb`` line, while keeping the ``deb-src`` line. It should look similar to this: - -.. code-block:: bash - - #deb http://ppa.launchpad.net/nest-simulator/nest/ubuntu focal main - deb-src http://ppa.launchpad.net/nest-simulator/nest/ubuntu focal main - - -3. Import the PPA GPC key and rebuild the package: - -.. code-block:: bash - - sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 \ - --recv-keys 0CF7539642ABD23CBCA8D487F0B8B6C5EC02D7DD - sudo apt update - sudo apt source --build nest - -4. Install any missing dependencies, if ``apt`` tells you so. - In addition, install: - -.. code-block:: bash - - sudo apt install python3-all dh-python - -5. After installing the dependencies, enter ``sudo apt source --build nest`` again. - When the build finished, look for lines like: - -.. code-block:: bash - - dpkg-deb: building package 'nest-dbgsym' in '../nest-dbgsym_2.20.0-0~202001311135~ubuntu20.04.1_amd64.deb'. - dpkg-deb: building package 'nest' in '../nest_2.20.0-0~202001311135~ubuntu20.04.1_amd64.deb'. - #dh binary - dpkg-genbuildinfo --build=binary - dpkg-genchanges --build=binary >../nest_2.20.0-0~202001311135~ubuntu20.04.1_amd64.changes - -and note down the full package name. In the above example this would be -``nest_2.20.0-0~202001311135~ubuntu20.04.1_amd64.deb``, where the number ``202001311135`` and potentially the -Ubuntu version number may be different. - -6. Install the ready Debian package after the rebuild: - -.. code-block:: bash - - sudo dpkg --install nest-simulator-x.y.z~NUMBER~ubuntu20.04.1_amd64.deb - - The package name is taken from the result of the previous step. `NUMBER` and potentially the Ubuntu - version might differ. - -7. Test the package: - -.. code-block:: bash - - python3 - import nest +-------- -------------- macOS |macos| ------------- From 436ef81c3314a54bd6190282f11ab0913f1b08bd Mon Sep 17 00:00:00 2001 From: Steffen Graber Date: Wed, 6 Dec 2023 13:33:55 +0100 Subject: [PATCH 3/5] Update doc/htmldoc/installation/user.rst Co-authored-by: jessica-mitchell --- doc/htmldoc/installation/user.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/htmldoc/installation/user.rst b/doc/htmldoc/installation/user.rst index caa6e5eabf..37c4ff654b 100644 --- a/doc/htmldoc/installation/user.rst +++ b/doc/htmldoc/installation/user.rst @@ -50,7 +50,7 @@ Ubuntu users can install NEST via the PPA repository. sudo apt-get install nest -3. Optional: Install `NESTML `_ + Or install NEST with `NESTML `_ .. code-block:: bash From 22dc6f452cad06e2794287f0fb2a328edb6809b3 Mon Sep 17 00:00:00 2001 From: Steffen Graber Date: Wed, 6 Dec 2023 13:34:12 +0100 Subject: [PATCH 4/5] Update doc/htmldoc/installation/user.rst Co-authored-by: jessica-mitchell --- doc/htmldoc/installation/user.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/htmldoc/installation/user.rst b/doc/htmldoc/installation/user.rst index 37c4ff654b..19cc34750e 100644 --- a/doc/htmldoc/installation/user.rst +++ b/doc/htmldoc/installation/user.rst @@ -57,7 +57,7 @@ Ubuntu users can install NEST via the PPA repository. sudo apt install nest python3-nestml python3 -m pip install --upgrade odetoolbox pygsl antlr4-python3-runtime==4.10 -4. Set the environment +3. Set the environment .. code-block:: bash From 57d23a9bc06d7e29c13af30e8250bc2a572bc31d Mon Sep 17 00:00:00 2001 From: jessica-mitchell Date: Wed, 6 Dec 2023 14:31:04 +0100 Subject: [PATCH 5/5] Update doc/htmldoc/installation/user.rst --- doc/htmldoc/installation/user.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/htmldoc/installation/user.rst b/doc/htmldoc/installation/user.rst index 19cc34750e..4197a3e1b8 100644 --- a/doc/htmldoc/installation/user.rst +++ b/doc/htmldoc/installation/user.rst @@ -50,7 +50,7 @@ Ubuntu users can install NEST via the PPA repository. sudo apt-get install nest - Or install NEST with `NESTML `_ +Or install NEST with `NESTML `_ .. code-block:: bash