aboutsummaryrefslogtreecommitdiff
path: root/src/arm/PL1/kernel/translation_table_descriptors.h
AgeCommit message (Expand)Author
2020-01-13Great Reorganisation, modify structure and makefilevetch
(arguments `(#:configure-flags (list "--disable-static") #:phases (modify-phases %standard-phases (add-before 'configure 'update-gnutls-api (lambda _ (substitute* "src/encrypt.cpp" ;; The GnuTLS API to set authentication and other parameters ;; and priorities changed in 3.4; update to allow ANON_DH via ;; the new API. (("gnutls_kx_set_priority\\(session, kx_prio\\)") (string-append "gnutls_priority_set_direct" "(session, \"NORMAL:+ANON-DH\", NULL)")))))))) (inputs (list libsigc++-2 gnutls)) (home-page "https://gobby.github.io/") (synopsis "Network access framework for IPv4/IPv6") (description "Library which that provides a TCP protocol abstraction for C++.") (license license:lgpl2.1))) (define-public obby (package (name "obby") (version "0.4.8") (source (origin (method url-fetch) (uri (string-append "http://releases.0x539.de/obby/obby-" version ".tar.gz")) (file-name (string-append name "-" version ".tar.gz")) (sha256 (base32 "0rwvp0kzsb8y6mq73rzb8yk4kvsrz64i2zf4lfqs3kh0x2k7n7bx")))) (build-system gnu-build-system) (arguments `(#:configure-flags (list "--disable-static"))) (native-inputs (list pkg-config)) (inputs (list libsigc++-2 gnutls libnet6)) (home-page "https://gobby.github.io/") (synopsis "Library for building collaborative editors") (description "Library that provides synced document buffers. It supports multiple documents in one session. Obby is used by the Gobby collaborative editor.") (license license:gpl2+))) ;; Although there is a newer version of Gobby defined below, the protocols are ;; incompatible; you need Gobby 0.4 if you want to connect to servers running ;; the 0.4 protocol. (define-public gobby-0.4 (package (name "gobby") (version "0.4.13") (source (origin (method url-fetch) (uri (string-append "http://releases.0x539.de/gobby/gobby-" version ".tar.gz")) (file-name (string-append name "-" version ".tar.gz")) (sha256 (base32 "0w8q01lf6bcdz537b29m7rwlbc7k87b12vnpm1h6219ypvzqkgcc")))) (build-system gnu-build-system) (native-inputs (list pkg-config intltool)) (inputs `(("libxml++-2" ,libxml++-2) ("gnutls" ,gnutls) ("gtkmm-2" ,gtkmm-2) ("gtksourceview-2" ,gtksourceview-2) ("libnet6" ,libnet6) ("obby" ,obby))) (arguments ;; Required by libsigc++. `(#:configure-flags '("CXXFLAGS=-std=c++11"))) (home-page "https://gobby.github.io/") (synopsis "Collaborative editor") (description "Collaborative editor that supports multiple documents in one session and a multi-user chat. Gobby allows multiple users to edit the same document together over the internet in real-time. This is the older 0.4 version of Gobby. Use this version only if you need to connect to a server running the old 0.4 protocol.") (license license:gpl2+))) (define-public gobby (package (name "gobby") (version "0.6.0") (source (origin (method url-fetch) (uri (string-append "http://releases.0x539.de/gobby/gobby-" version ".tar.gz")) (file-name (string-append name "-" version ".tar.gz")) (sha256 (base32 "1p2wbnchxy2wdzk19p7bxfpbq5zawa0l500na57jp8jgk3qz7czx")))) (build-system glib-or-gtk-build-system) (native-inputs (list pkg-config intltool itstool)) (inputs `(("gnutls" ,gnutls) ("gsasl" ,gsasl) ("gtkmm" ,gtkmm-3) ("gtksourceview" ,gtksourceview-3) ("libinfinity" ,libinfinity) ("libxml++-2" ,libxml++-2))) (arguments ;; Required by libsigc++. `(#:configure-flags '("CXXFLAGS=-std=c++11") #:phases (modify-phases %standard-phases (add-after 'install 'move-executable (lambda* (#:key outputs #:allow-other-keys) (with-directory-excursion (assoc-ref outputs "out") (rename-file "bin/gobby-0.5" "bin/gobby")) #t))))) (home-page "https://gobby.github.io/") (synopsis "Collaborative editor") (description "Collaborative editor that supports multiple documents in one session and a multi-user chat. Gobby allows multiple users to edit the same document together over the internet in real-time.") (license license:gpl2+))) (define-public libinfinity (package (name "libinfinity") (version "0.7.2") (source (origin (method url-fetch) (uri (string-append "http://releases.0x539.de/libinfinity/libinfinity-" version ".tar.gz")) (sha256 (base32 "17i3g61hxz9pzl3ryd1yr15142r25m06jfzjrpdy7ic1b8vjjw3f")))) (build-system gnu-build-system) (inputs (list glib gsasl gtk+ libxml2)) (native-inputs (list pkg-config)) (arguments `(#:configure-flags (list "--disable-static" "--with-inftextgtk" "--with-infgtk"))) (home-page "https://gobby.github.io/") (synopsis "Infininote protocol implementation") (description "libinfinity is a library to build collaborative text editors. Changes to the text buffers are synced to all other clients over a central server. Even though a central server is involved, the local user sees his changes applied instantly and the merging is done on the individual clients.") (license license:lgpl2.1+)))