From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 27 17:23:27 2018 Received: (at submit) by debbugs.gnu.org; 27 Jan 2018 22:23:27 +0000 Received: from localhost ([127.0.0.1]:45573 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1efYsc-0001tU-CW for submit@debbugs.gnu.org; Sat, 27 Jan 2018 17:23:27 -0500 Received: from eggs.gnu.org ([208.118.235.92]:56180) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1efYsa-0001tI-D0 for submit@debbugs.gnu.org; Sat, 27 Jan 2018 17:23:21 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1efYsT-0001PD-OZ for submit@debbugs.gnu.org; Sat, 27 Jan 2018 17:23:15 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-0.0 required=5.0 tests=BAYES_40,T_RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:60657) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1efYsT-0001P2-M3 for submit@debbugs.gnu.org; Sat, 27 Jan 2018 17:23:13 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:47141) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1efYsS-0001wu-HO for guix-patches@gnu.org; Sat, 27 Jan 2018 17:23:13 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1efYsR-0001Nr-Bv for guix-patches@gnu.org; Sat, 27 Jan 2018 17:23:12 -0500 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:59660) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1efYsR-0001Nk-8U; Sat, 27 Jan 2018 17:23:11 -0500 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=40782 helo=gnu.org) by fencepost.gnu.org with esmtpsa (TLS1.2:DHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1efYsQ-0001Xu-Ou; Sat, 27 Jan 2018 17:23:11 -0500 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= To: guix-patches@gnu.org Subject: [PATCH 1/3] gnu: Add Dashel. Date: Sat, 27 Jan 2018 23:22:59 +0100 Message-Id: <20180127222259.16249-1-ludo@gnu.org> X-Mailer: git-send-email 2.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: submit Cc: =?UTF-8?q?Ludovic=20Court=C3=A8s?= X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) From: Ludovic Courtès * gnu/packages/cpp.scm (dashel): New variable. --- gnu/packages/cpp.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/cpp.scm b/gnu/packages/cpp.scm index 95e82fcb6..3e9c39df6 100644 --- a/gnu/packages/cpp.scm +++ b/gnu/packages/cpp.scm @@ -2,6 +2,7 @@ ;;; Copyright © 2017 Ethan R. Jones ;;; Copyright © 2018 Tobias Geerinckx-Rice ;;; Copyright © 2018 Fis Trivial +;;; Copyright © 2018 Ludovic Courtès ;;; ;;; This file is part of GNU Guix. ;;; @@ -100,3 +101,26 @@ operating system functions.") APIs on top of Standard Template Library (@dfn{STL}) classes.") (license (list license:expat ; cJSON license:bsd-4))))) ; everything else (LICENSE.txt) + +(define-public dashel + (package + (name "dashel") + (version "1.3.3") + (home-page "https://github.com/aseba-community/dashel") + (source (origin + (method url-fetch) + (uri (string-append home-page "/archive/" version ".tar.gz")) + (sha256 + (base32 + "1ckzac1rsw3cxmpdpwcqv46jyp7risk5ybq6jjiizbqn7labf6dw")) + (file-name (string-append name "-" version ".tar.gz")))) + (build-system cmake-build-system) + (arguments '(#:tests? #f)) ;no tests + (native-inputs `(("pkg-config" ,pkg-config))) + (synopsis "Data stream helper encapsulation library") + (description + "Dashel is a data stream helper encapsulation C++ library. It provides a +unified access to TCP/UDP sockets, serial ports, console, and files streams. +It also allows a server application to wait for any activity on any +combination of these streams.") + (license license:bsd-3))) -- 2.15.1 From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 27 17:28:28 2018 Received: (at 30272) by debbugs.gnu.org; 27 Jan 2018 22:28:28 +0000 Received: from localhost ([127.0.0.1]:45579 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1efYxY-00021G-H2 for submit@debbugs.gnu.org; Sat, 27 Jan 2018 17:28:28 -0500 Received: from eggs.gnu.org ([208.118.235.92]:56832) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1efYxW-000213-Jf for 30272@debbugs.gnu.org; Sat, 27 Jan 2018 17:28:26 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1efYxQ-0004nK-4g for 30272@debbugs.gnu.org; Sat, 27 Jan 2018 17:28:21 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,T_RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:59706) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1efYxQ-0004n6-08; Sat, 27 Jan 2018 17:28:20 -0500 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=40876 helo=gnu.org) by fencepost.gnu.org with esmtpsa (TLS1.2:DHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1efYxP-0003J1-F3; Sat, 27 Jan 2018 17:28:19 -0500 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= To: 30272@debbugs.gnu.org Subject: [PATCH 3/3] gnu: Add Aseba. Date: Sat, 27 Jan 2018 23:28:05 +0100 Message-Id: <20180127222805.16401-2-ludo@gnu.org> X-Mailer: git-send-email 2.15.1 In-Reply-To: <20180127222805.16401-1-ludo@gnu.org> References: <20180127222805.16401-1-ludo@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 30272 Cc: =?UTF-8?q?Ludovic=20Court=C3=A8s?= X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) From: Ludovic Courtès * gnu/packages/robotics.scm (aseba): New variable. --- gnu/packages/robotics.scm | 61 ++++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 60 insertions(+), 1 deletion(-) diff --git a/gnu/packages/robotics.scm b/gnu/packages/robotics.scm index da6f8856b..9b30b90da 100644 --- a/gnu/packages/robotics.scm +++ b/gnu/packages/robotics.scm @@ -22,10 +22,16 @@ #:use-module (guix git-download) #:use-module ((guix licenses) #:prefix license:) #:use-module (guix build-system cmake) + #:use-module (gnu packages avahi) + #:use-module (gnu packages cpp) #:use-module (gnu packages gl) + #:use-module (gnu packages linux) #:use-module (gnu packages pkg-config) + #:use-module (gnu packages protobuf) #:use-module (gnu packages qt) - #:use-module (gnu packages sdl)) + #:use-module (gnu packages sdl) + #:use-module (gnu packages valgrind) + #:use-module (gnu packages xml)) (define-public enki ;; Previous versions use Qt4 and are unsuitable for Aseba. @@ -65,3 +71,56 @@ hundred times faster than real-time.") ;; citation, but that sentence is written as not being part of the ;; license (fortunately). (license license:gpl2+)))) + +(define-public aseba + ;; Use the commit that allows us to build with Qt5. + (let ((commit "3b35de80d5fdd47592b1c01d57e1f4ef37c5e5ea") + (revision "0")) + (package + (name "aseba") + (version (git-version "1.6.0" revision commit)) + (home-page "https://github.com/aseba-community/aseba") + (source (origin + (method git-fetch) + (uri (git-reference (url home-page) (commit commit) + (recursive? #t))) ;for Blockly + (sha256 + (base32 + "0j31lmc9f0ksvkh0md2fgsz92hcsrwnrqqcynamizs2ah8iwlqi5")) + (file-name (string-append name "-" version "-checkout")) + (modules '((guix build utils))) + (snippet + ;; Add missing Qt5::Network. + '(substitute* "targets/playground/CMakeLists.txt" + (("target_link_libraries(.*)\\$\\{EXTRA_LIBS\\}" _ middle) + (string-append "target_link_libraries" middle + " Qt5::Network ${EXTRA_LIBS}")))))) + (build-system cmake-build-system) + (arguments + '(#:configure-flags '("-DBUILD_SHARED_LIBS=ON"))) + (native-inputs + `(("pkg-config" ,pkg-config) + ("valgrind" ,valgrind))) ;for tests + (inputs + `(("dashel" ,dashel) + ("enki" ,enki) + ("protobuf" ,protobuf) ;for logging + ("qtbase" ,qtbase) + ("qtsvg" ,qtsvg) + ("qttools" ,qttools) ;for libQt5Help, needed by "studio" + ("qtwebkit" ,qtwebkit) + ("qtx11extras" ,qtx11extras) + ("eudev" ,eudev) + ("libxml2" ,libxml2) + ("sdl2" ,sdl2) + ("avahi" ,avahi))) ;XXX: we need the libdnssd compat layer + (synopsis "Event-based robot programming tools") + (description + "Aseba means @dfn{actuator and sensor event-based architecture}. +It is a set of tools which allow beginners to program robots easily and +efficiently. It includes robot simulators, a programming language, and a +visual programming language (VPL) that is notably used together with the +Thymio educational robot.") + + ;; Source file headers say "version 3.0" without "or any later version". + (license license:lgpl3)))) -- 2.15.1 From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 27 17:28:36 2018 Received: (at 30272) by debbugs.gnu.org; 27 Jan 2018 22:28:36 +0000 Received: from localhost ([127.0.0.1]:45581 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1efYxc-00021X-Ti for submit@debbugs.gnu.org; Sat, 27 Jan 2018 17:28:36 -0500 Received: from eggs.gnu.org ([208.118.235.92]:56833) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1efYxX-000215-LN for 30272@debbugs.gnu.org; Sat, 27 Jan 2018 17:28:31 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1efYxP-0004mg-4k for 30272@debbugs.gnu.org; Sat, 27 Jan 2018 17:28:22 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,T_RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:59705) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1efYxO-0004mQ-W4; Sat, 27 Jan 2018 17:28:19 -0500 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=40876 helo=gnu.org) by fencepost.gnu.org with esmtpsa (TLS1.2:DHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1efYxO-0003J1-H2; Sat, 27 Jan 2018 17:28:18 -0500 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= To: 30272@debbugs.gnu.org Subject: [PATCH 2/3] gnu: Add Enki. Date: Sat, 27 Jan 2018 23:28:04 +0100 Message-Id: <20180127222805.16401-1-ludo@gnu.org> X-Mailer: git-send-email 2.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 30272 Cc: =?UTF-8?q?Ludovic=20Court=C3=A8s?= X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) From: Ludovic Courtès * gnu/packages/robotics.scm: New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add it. --- gnu/local.mk | 3 ++- gnu/packages/robotics.scm | 67 +++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 69 insertions(+), 1 deletion(-) create mode 100644 gnu/packages/robotics.scm diff --git a/gnu/local.mk b/gnu/local.mk index e96040a4e..2424b8e9f 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1,5 +1,5 @@ # GNU Guix --- Functional package management for GNU -# Copyright © 2012, 2013, 2014, 2015, 2016, 2017 Ludovic Courtès +# Copyright © 2012, 2013, 2014, 2015, 2016, 2017, 2018 Ludovic Courtès # Copyright © 2013, 2014, 2015, 2016, 2017 Andreas Enge # Copyright © 2016 Mathieu Lirzin # Copyright © 2013, 2014, 2015, 2016, 2017, 2018 Mark H Weaver @@ -357,6 +357,7 @@ GNU_SYSTEM_MODULES = \ %D%/packages/re2c.scm \ %D%/packages/readline.scm \ %D%/packages/regex.scm \ + %D%/packages/robotics.scm \ %D%/packages/rrdtool.scm \ %D%/packages/rsync.scm \ %D%/packages/ruby.scm \ diff --git a/gnu/packages/robotics.scm b/gnu/packages/robotics.scm new file mode 100644 index 000000000..da6f8856b --- /dev/null +++ b/gnu/packages/robotics.scm @@ -0,0 +1,67 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright © 2018 Ludovic Courtès +;;; +;;; This file is part of GNU Guix. +;;; +;;; GNU Guix is free software; you can redistribute it and/or modify it +;;; under the terms of the GNU General Public License as published by +;;; the Free Software Foundation; either version 3 of the License, or (at +;;; your option) any later version. +;;; +;;; GNU Guix is distributed in the hope that it will be useful, but +;;; WITHOUT ANY WARRANTY; without even the implied warranty of +;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +;;; GNU General Public License for more details. +;;; +;;; You should have received a copy of the GNU General Public License +;;; along with GNU Guix. If not, see . + +(define-module (gnu packages robotics) + #:use-module (guix packages) + #:use-module (guix download) + #:use-module (guix git-download) + #:use-module ((guix licenses) #:prefix license:) + #:use-module (guix build-system cmake) + #:use-module (gnu packages gl) + #:use-module (gnu packages pkg-config) + #:use-module (gnu packages qt) + #:use-module (gnu packages sdl)) + +(define-public enki + ;; Previous versions use Qt4 and are unsuitable for Aseba. + (let ((commit "afd2d8e2f91c095f6745505ca1f32f31ea874200") + (revision "0")) + (package + (name "enki") + (version (git-version "2.0pre" revision commit)) + (home-page "https://github.com/enki-community/enki/") + (source (origin + (method git-fetch) + (uri (git-reference (url home-page) (commit commit))) + (sha256 + (base32 + "1d1901zzsfml97hb4mb3ah3ab1bk4kh7bn6m7xrj1rv0gk9wkhq7")) + (file-name (string-append name "-" version "-checkout")))) + (build-system cmake-build-system) + (arguments + '(#:configure-flags '("-DBUILD_SHARED_LIBS=ON"))) + (native-inputs `(("pkg-config" ,pkg-config))) + (inputs + ;; Optionally, add Python + Boost for Python bindings. + `(("sdl2" ,sdl2))) + (propagated-inputs + ;; 'Viewer.h' includes 'QGLWidget'. + `(("qtbase" ,qtbase) ;the viewer module needs Qt5 + MESA + ("mesa" ,mesa))) + (synopsis "Robot simulator") + (description + "Enki is a robot simulator written in C++. It provides collision and +limited physics support for robots evolving on a flat surface. On a +contemporary desktop computer, Enki is able to simulate groups of robots +hundred times faster than real-time.") + + ;; The 'LICENSE' file as well as source file headers says that + ;; researchers using the software are "asked" to cite using a given + ;; citation, but that sentence is written as not being part of the + ;; license (fortunately). + (license license:gpl2+)))) -- 2.15.1 From debbugs-submit-bounces@debbugs.gnu.org Tue Jan 30 10:56:22 2018 Received: (at 30272-done) by debbugs.gnu.org; 30 Jan 2018 15:56:22 +0000 Received: from localhost ([127.0.0.1]:49727 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1egYGk-0004L7-IX for submit@debbugs.gnu.org; Tue, 30 Jan 2018 10:56:22 -0500 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:6863) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1egYGj-0004Ks-2s for 30272-done@debbugs.gnu.org; Tue, 30 Jan 2018 10:56:21 -0500 X-IronPort-AV: E=Sophos;i="5.46,435,1511823600"; d="scan'208";a="311314466" Received: from unknown (HELO ribbon) ([193.50.110.110]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 30 Jan 2018 16:56:14 +0100 From: ludovic.courtes@inria.fr (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: 30272-done@debbugs.gnu.org Subject: Re: [bug#30272] [PATCH 3/3] gnu: Add Aseba. References: <20180127222805.16401-1-ludo@gnu.org> <20180127222805.16401-2-ludo@gnu.org> Date: Tue, 30 Jan 2018 16:56:14 +0100 In-Reply-To: <20180127222805.16401-2-ludo@gnu.org> ("Ludovic \=\?utf-8\?Q\?Cou\?\= \=\?utf-8\?Q\?rt\=C3\=A8s\=22's\?\= message of "Sat, 27 Jan 2018 23:28:05 +0100") Message-ID: <874ln31gtd.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 30272-done X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) I went ahead and pushed this series. Have fun with your Thymio. :-) Ludo=E2=80=99. From unknown Fri Aug 22 01:33:48 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Wed, 28 Feb 2018 12:24:05 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator