Re: Not sure how to add an offload server

[Simen Endsjø]

I also see the following commented out lines in the offload script:
      ;; Avoid ABI incompatibility with the <build-machine> record.
      ;; (set! %fresh-auto-compile #t)

And this from load* in ui.scm:
      ;; XXX: Force a recompilation to avoid ABI issues.
      (set! %fresh-auto-compile #t)

So my ABI mismatch issue might be triggering a similar issue and we need a 
%fresh-auto-compile somewhere.

On Thu, Nov 7, 2024, at 22:51, Simen Endsjø wrote:
> Ok, so now it suddenly works. I cannot see any recent commits in guix which 
> should indicate a change related to this.
> What kind of bad state could I have had on my system which has been fixed by 
> experimenting with the local guix and pre-inst-env? And is it permanently 
> fixed now? I find this both strange and worrying.
> 
> $ guix offload test
> guix offload: testing 1 build machines defined in '/etc/guix/machines.scm'...
> 
> On Thu, Nov 7, 2024, at 22:17, Simen Endsjø wrote:
>> Not sure what you mean. Tried adding the channel with -L, but I get an error 
>> about a record ABI mismatch. How is this possible? Is somehow two different 
>> guix channels used...?
>> 
>> $ ./pre-inst-env guix system \
>>   -L ~/the-locally-cloned-required-channel \
>>   reconfigure the-system.scm
>> 
>> guix system: error: failed to load 'the-system.scm':
>> guix/records.scm:65:4: In procedure record-abi-mismatch-error:
>> In procedure abi-check: #<record-type <guix-configuration>>: record ABI 
>> mismatch; recompilation needed
>> 
>> 
>> On Thu, Nov 7, 2024, at 15:35, Felix Lechner wrote:
>>> Hi Simen,
>>> 
>>> On Thu, Nov 07 2024, Simen Endsjø wrote:
>>> 
>>> > I'm unable to rebuild the system using this method as it looks like my
>>> > channels is not loaded
>>> 
>>> Sorry about your troubles.  Guix will accept -L to include local
>>> folders, which can hold a cloned Git repository.  It's not convenient,
>>> but will work at least once.
>>> 
>>> Kind regards
>>> Felix
>>> 
>> 
>