From 86a89c8c62152c8fe83762564067a7cba9919b82 Mon Sep 17 00:00:00 2001 From: Michael Vasseur <14887731+vmcj@users.noreply.github.com> Date: Sun, 12 May 2024 01:41:52 +0200 Subject: [PATCH] Document the prolog language --- doc/manual/install-language.rst | 3 +++ webapp/src/DataFixtures/DefaultData/LanguageFixture.php | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/doc/manual/install-language.rst b/doc/manual/install-language.rst index 0dddddba7fa..698add8dfbf 100644 --- a/doc/manual/install-language.rst +++ b/doc/manual/install-language.rst @@ -62,6 +62,9 @@ packages for Ubuntu as that is the most used at the moment of writing. * - POSIX shell - `dash` - Default installed in the chroot + * - Prolog + - `swi-prolog-core-packages` + - * - Python3 - `pypy3`/`python3` - Default installed in the chroot. diff --git a/webapp/src/DataFixtures/DefaultData/LanguageFixture.php b/webapp/src/DataFixtures/DefaultData/LanguageFixture.php index d27663748d8..1ee4ce8be54 100644 --- a/webapp/src/DataFixtures/DefaultData/LanguageFixture.php +++ b/webapp/src/DataFixtures/DefaultData/LanguageFixture.php @@ -39,7 +39,7 @@ public function load(ObjectManager $manager): void ['kt', 'kotlin', 'Kotlin', ['kt'], true, 'Main class', false, true, 1, 'kt', 'kotlinc -version', 'kotlin -version'], ['pas', 'pascal', 'Pascal', ['pas', 'p'], false, 'Main file', false, true, 1, 'pas', 'fpc -iW', ''], ['pl', 'pl', 'Perl', ['pl'], false, 'Main file', false, true, 1, 'pl', 'perl -v', 'perl -v'], - ['plg', 'prolog', 'Prolog', ['plg'], false, 'Main file', false, true, 1, 'plg', '', ''], + ['plg', 'prolog', 'Prolog', ['plg'], false, 'Main file', false, true, 1, 'plg', 'swipl --version', 'swipl --version'], ['py3', 'python3', 'Python 3', ['py'], false, 'Main file', true, true, 1, 'py3', 'pypy3 --version', 'pypy3 --version'], ['ocaml', 'ocaml', 'OCaml', ['ml'], false, null, false, true, 1, 'ocaml', 'ocamlopt --version', ''], ['r', 'r', 'R', ['R'], false, 'Main file', false, true, 1, 'r', 'Rscript --version', 'Rscript --version'],