Updating substitute error: TLS error in the push function

2021-02-15 Thread Todor Kondić


I keep getting this error,

---
substitute: updating substitutes from 'https://ci.guix.gnu.org'...   0.0%guix 
substitute: error: TLS error in procedure 'write_to_session_record_port': Error 
in the push function.
---

while `sudo guix system reconfigure ...`.

Then I get into the whole compilation cycle.


Guix version:
61361ef2646cc59f18fd1d33d9d13348930255b7






inferiors and services

2021-02-15 Thread Todor Kondić
Dear guixians,

During the operating system instantiation -- either through `reconfigure`, or 
various `image` procedures) -- is the only possible way of controlling which 
version of services and the packages installable by those services to specify a 
particular commit in the channel config?

Inferiors help isolate a package manifest together with an user-controlled guix 
commit, so I was wondering if anything such is possible with the system itself 
(for example, during building of an image). In pseudocode:

(define inferior (inferior-from-channels ...))
(with-inferior inferior (reconfigure (operating-system ...)))

I am almost certain there is some gexp 
mumbo-jumbo-derivation-of-the-whole-system one can use, but not yet entirely 
comfortable with them.

T








Re: help with packaging a common lisp software

2021-02-15 Thread cage
On Mon, Feb 15, 2021 at 07:46:20PM +0100, cage wrote:

Hi!


> I am trying to package this software:
>
> https://notabug.org/cage/tinmop/

I kept working on  the file and with the help of a  friand of mine and
insipred by  the stumpwm definition  package i managed  to succeffully
compile the executable!

But now the  only problem is generate and install  (via autootols) the
manpage, the system configuration file and the i18n files.

I am  attaching the updated  package definition file.  Looking forward
for suggestions! :)

Bye!
C.


tinmop-guix.scm
Description: Lotus Screencam


help with packaging a common lisp software

2021-02-15 Thread cage
Hi!

I am trying to package this software:

https://notabug.org/cage/tinmop/

The program is written  in common lisp and it uses  both ASDF to build
the executable image (using SBCL compiler) and GNU autotools (for i18n
files, data files and installation).

I  am  struggling to  make  guix  build the  package,  if  i uses  the
gnu-build-system make  fails because SBCL  complains that it  can not
find ASDF.

But if i switch to asdf-build-system  i can compile the image (but not
the  executable) and  i fail  to  call make  (using `(invoke  "make"))
adding a  phase (i tried to  insert that "make" phase  after or before
several standard phases without luck.

I have no clue, given that i am  a novice both in guix and guile, i am
attaching here the  package definition file hoping  that someone could
give me suggestions to fix the issue.

The  package   define  several  other  libraries   needed,  seems  the
definition for them are working fine.

Bye and thanks in advance.
C.


tinmop-guix.scm
Description: Lotus Screencam


Re: Another Raspberry Pi data point

2021-02-15 Thread Efraim Flashner
On Thu, Feb 11, 2021 at 07:24:36PM -0600, Jonathan Marsden wrote:
> 
> Is anyone currently booting Guix System on a small single board computer that 
> they can share info about, and ideally share a sample Guix system OS .scm 
> file 
> definition for?
> 

Here's a link to my pine64 config. Some config options I've factored out
into other files in the repository, but I've included a stripped-down
version attached to this email. It will build no-problems from an
aarch64 machine, but will need to have some services removed to
cross-compile from x86_64.

-- 
Efraim Flashner  אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
(define-module (pine64))
(use-modules (guix packages)
 (gnu)
 (gnu bootloader u-boot)
 (gnu system locale)
 (srfi srfi-1))
(use-service-modules
  linux
  networking
  ssh)
(use-package-modules
  certs
  connman
  linux)

(operating-system
  (host-name "pine64")
  (timezone "Asia/Jerusalem")
  (locale "en_US.UTF-8")
  (locale-definitions
(list (locale-definition (source "en_US")
 (name "en_US.UTF-8"))
  (locale-definition (source "he_IL")
 (name "he_IL.UTF-8"

  (bootloader (bootloader-configuration
(bootloader u-boot-pine64-plus-bootloader)
(target "/dev/mmcblk0")))   ; SD card/eMMC (SD priority) storage

  (initrd-modules '())
  ;; The board fails to boot with stock linux-libre
  (kernel linux-libre-arm64-generic)

  (swap-devices (list "/swapfile"))

  (file-systems (cons* (file-system
 (device (file-system-label "root"))
 (mount-point "/")
 (type "ext4"))
   %base-file-systems))

  (users (cons (user-account
(name "efraim")
(comment "Efraim")
(group "users")
(supplementary-groups '("wheel"
"netdev" "kvm"))
(home-directory "/home/efraim"))
   %base-user-accounts))

  ;; This is where we specify system-wide packages.
  (packages (cons* nss-certs ;for HTTPS access
   %base-packages))

  (services (cons* (service guix-publish-service-type
(guix-publish-configuration
  (host "0.0.0.0")
  (port 3000)))

   (service openssh-service-type
(openssh-configuration
  (x11-forwarding? #t)
  (extra-content "StreamLocalBindUnlink yes")))

   (service tor-service-type)
   (tor-hidden-service "ssh"
   '((22 "127.0.0.1:22")))
   (tor-hidden-service "guix-publish"
   '((3000 "127.0.0.1:3000")))

   (service openntpd-service-type
(openntpd-configuration
  (listen-on '("127.0.0.1" "::1"))
  ;; Prevent moving to year 2116.
  (constraints-from '("https://www.google.com/";

   (service connman-service-type)
   (service wpa-supplicant-service-type)

   ;; Needs no-manual version, depends on pandoc.
   (service earlyoom-service-type
(earlyoom-configuration
  (earlyoom
(let ((base earlyoom))
  (package
(inherit base)
(native-inputs
  (alist-delete "pandoc"
(package-native-inputs 
base

   ;; Not supported by linux-libre-arm64-generic
   ;(service zram-device-service-type
   ; (zram-device-configuration
   ;   (size (* 2 (expt 2 30)))
   ;   (compression-algorithm 'zstd)
   ;   (priority 100)))

   %base-services))

  ;; Allow resolution of '.local' host names with mDNS.
  (name-service-switch %mdns-host-lookup-nss))


signature.asc
Description: PGP signature


Re: Appimage: cannot run binary file

2021-02-15 Thread Efraim Flashner
On Fri, Feb 12, 2021 at 06:12:52AM +0100, raingloom wrote:
> On Thu, 11 Feb 2021 15:43:24 +0100
> Christophe Pisteur  wrote:
> 
> > Le jeudi 11 février 2021 à 15:12 +0100, Sergiu Ivanov a écrit :
> > > Hi Christophe,  
> > > > I don't understand all the nuances of this discussion (I'm sorry),
> > > > butit seems to me that the problem is, in the case of the
> > > > developmentversion of freecad, that the sources are not published
> > > > regularly. Thesources were last published in 2019 (1), while
> > > > freecad offers anAppimage almost every week. So building something
> > > > from the sources ofthe development code doesn't add much value to
> > > > the stable version. Imust certainly be missing something, so once
> > > > again sorry.Christophe(1) 
> > > > https://github.com/FreeCAD/FreeCAD/releases/tag/0.19_pre: "
> > > > Note:The development binaries are built regularly (You may need to
> > > > expandthe assets tab) . The release date indicates the beginning
> > > > of the devcycle. The commits indicates how many commits in the dev
> > > > cycle. Thesource archives (tar.gz and .zip) do not get updated, so
> > > > they match thecommit of the tag (34a083b) and are therefore
> > > > obsolete. You can get thelatest source here: 
> > > > https://github.com/FreeCAD/FreeCAD/archive/master.zip";  
> > > 
> > > I don't know or use FreeCAD, but it looks like the source code
> > > isupdated quite regularly on their GitHub repository:
> > >   https://github.com/FreeCAD/FreeCAD/
> > > 
> > > The latest changes seem to date back to several hours.
> > > I'd say these are the sources from which the development binaries
> > > arebuilt (at least this is what is usually done).
> > > My understanding of the sentence  
> > > > The source archives (tar.gz and .zip) do not get updated, so
> > > > theymatch the commit of the tag (34a083b) and are therefore
> > > > obsolete.  
> > > 
> > > is that the FreeCAD team don't bother archiving the sources
> > > bythemselves, given that one can always access the latest versionon
> > > GitHub.
> > > -Sergiu  
> > 
> > Sorry for the confusion and thank you for the explanation. 
> > Christophe
> 
> My bad, I didn't consider that not everyone knows Git.
> This is probably the example you need:
> guix build freecad --with-git-url=freecad=https://github.com/FreeCAD/FreeCAD/
> No need to download any tarballs this way.

Note that the first time will take a while to clone the repository, then
it will get on to building.

-- 
Efraim Flashner  אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted


signature.asc
Description: PGP signature