[libre-riscv-dev] [Bug 320] New: split out software install and deps into separate script

[libre-riscv-dev] [Bug 320] New: split out software install and deps into separate script

[bugzilla-daemon]

https://bugs.libre-soc.org/show_bug.cgi?id=320

            Bug ID: 320
           Summary: split out software install and deps into separate
                    script
           Product: Libre-SOC's first SoC
           Version: unspecified
          Hardware: Other
                OS: Linux
            Status: CONFIRMED
          Severity: enhancement
          Priority: ---
         Component: Source Code
          Assignee: lkcl@lkcl.net
          Reporter: lkcl@lkcl.net
                CC: libre-riscv-dev@lists.libre-riscv.org
   NLnet milestone: ---

cole can you create a separate script which rather than installs stuff in the
chroot just installs nmigen yosys simbiyosys and git clones the dev repos soc,
nmutil, ieee754fpu and so on?

not as a chroot just a straight install.

we need this quite fast becaude there are people who will need to use it over
the nect 1 to 5 days.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

[libre-riscv-dev] [Bug 320] split out software install and deps into separate script

[bugzilla-daemon]

https://bugs.libre-soc.org/show_bug.cgi?id=320

Luke Kenneth Casson Leighton <lkcl@lkcl.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|lkcl@lkcl.net               |colepoirier@gmail.com
           Priority|---                         |High

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

[libre-riscv-dev] [Bug 320] split out software install and deps into separate script

[bugzilla-daemon]

https://bugs.libre-soc.org/show_bug.cgi?id=320

--- Comment #1 from Luke Kenneth Casson Leighton <lkcl@lkcl.net> ---
it is probably stuff that is already in the yaml files.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

[libre-riscv-dev] [Bug 320] split out software install and deps into separate script

[bugzilla-daemon]

https://bugs.libre-soc.org/show_bug.cgi?id=320

--- Comment #2 from Cole Poirier <colepoirier@gmail.com> ---
Sure, should only take about 5 minutes because I already have the yosys part
separated out, and the dev repos are straightforward. I'm not sure what you're
referring to with regard to the yaml files. Can you please be more specific?

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

[libre-riscv-dev] [Bug 320] split out software install and deps into separate script

[bugzilla-daemon]

https://bugs.libre-soc.org/show_bug.cgi?id=320

--- Comment #3 from Cole Poirier <colepoirier@gmail.com> ---
Do you want me to assume the user has already correctly set up ssh config? Or
just basic setup with clone via read-only https?

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

[libre-riscv-dev] [Bug 320] split out software install and deps into separate script

[bugzilla-daemon]

https://bugs.libre-soc.org/show_bug.cgi?id=320

--- Comment #4 from Luke Kenneth Casson Leighton <lkcl@lkcl.net> ---
(In reply to Cole Poirier from comment #3)
> Do you want me to assume the user has already correctly set up ssh config?

no.  this is for the hackathon.  i'm not giving them accounts yet.

> Or just basic setup with clone via read-only https?

basic clone.  does https work?  i usually use git://... because
git-daemon is running.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

[libre-riscv-dev] [Bug 320] split out software install and deps into separate script

[bugzilla-daemon]

https://bugs.libre-soc.org/show_bug.cgi?id=320

--- Comment #5 from Cole Poirier <colepoirier@gmail.com> ---
(In reply to Luke Kenneth Casson Leighton from comment #4)
> (In reply to Cole Poirier from comment #3)
> > Do you want me to assume the user has already correctly set up ssh config?
> 
> no.  this is for the hackathon.  i'm not giving them accounts yet.
> 
> > Or just basic setup with clone via read-only https?
> 
> basic clone.  does https work?  i usually use git://... because
> git-daemon is running.

Ok perfect. Much easier. Https does work, I had to look through the mailing
list, I think you and Jacob discussed it in March 
(https://bugs.libre-soc.org/show_bug.cgi?id=266), and set up this method:
http://swarm.cs.pub.ro/~razvan/blog/http-repository-sharing-asides-gitweb/.
Testing the script now, will let you know once I have committed it to
dev-env-setup repo, with the file name 'hdl-dev-repos'.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

[libre-riscv-dev] closing git https access bug

[Jacob Lifshay]

On Mon, May 18, 2020, 12:47 <bugzilla-daemon@libre-soc.org> wrote:

> --- Comment #5 from Cole Poirier <colepoirier@gmail.com> ---
> (In reply to Luke Kenneth Casson Leighton from comment #4)
> > (In reply to Cole Poirier from comment #3)
> > > Do you want me to assume the user has already correctly set up ssh
> config?
> >
> > no.  this is for the hackathon.  i'm not giving them accounts yet.
> >
> > > Or just basic setup with clone via read-only https?
> >
> > basic clone.  does https work?  i usually use git://... because
> > git-daemon is running.
>
> Ok perfect. Much easier. Https does work, I had to look through the mailing
> list, I think you and Jacob discussed it in March
> (https://bugs.libre-soc.org/show_bug.cgi?id=266), and set up this method:
> http://swarm.cs.pub.ro/~razvan/blog/http-repository-sharing-asides-gitweb/
> .
>

If https is working, we should close the bug report for adding it and move
any remaining issues (gpg signing?) to new bug reports.

Luke, I'll let you do that, since you were the one who brought up the
related issues.

Jacob

>
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

Re: [libre-riscv-dev] closing git https access bug

[Luke Kenneth Casson Leighton]

On Mon, May 18, 2020 at 9:35 PM Jacob Lifshay <programmerjake@gmail.com> wrote:

> If https is working, we should close the bug report for adding it and move
> any remaining issues (gpg signing?) to new bug reports.
>
> Luke, I'll let you do that, since you were the one who brought up the
> related issues.

good call - i cheated, changed the subject-line of the bugreport :)

l.

_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

[libre-riscv-dev] [Bug 320] split out software install and deps into separate script

[bugzilla-daemon]

https://bugs.libre-soc.org/show_bug.cgi?id=320

--- Comment #6 from Luke Kenneth Casson Leighton <lkcl@lkcl.net> ---
(In reply to Cole Poirier from comment #5)

> Ok perfect. Much easier. Https does work, I had to look through the mailing
> list, I think you and Jacob discussed it in March 
> (https://bugs.libre-soc.org/show_bug.cgi?id=266), and set up this method:
> http://swarm.cs.pub.ro/~razvan/blog/http-repository-sharing-asides-gitweb/.
> Testing the script now, will let you know once I have committed it to
> dev-env-setup repo, with the file name 'hdl-dev-repos'.

throw it out there anyway - commit it the moment you've written it - so
that other people can take a look.

we have an anti-"i'll-commit-it-when-it's-perfect" development rule, remember?

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

[libre-riscv-dev] [Bug 320] split out software install and deps into separate script

[bugzilla-daemon]

https://bugs.libre-soc.org/show_bug.cgi?id=320

--- Comment #7 from Cole Poirier <colepoirier@gmail.com> ---
(In reply to Luke Kenneth Casson Leighton from comment #6)
> (In reply to Cole Poirier from comment #5)
> 
> > Ok perfect. Much easier. Https does work, I had to look through the mailing
> > list, I think you and Jacob discussed it in March 
> > (https://bugs.libre-soc.org/show_bug.cgi?id=266), and set up this method:
> > http://swarm.cs.pub.ro/~razvan/blog/http-repository-sharing-asides-gitweb/.
> > Testing the script now, will let you know once I have committed it to
> > dev-env-setup repo, with the file name 'hdl-dev-repos'.
> 
> throw it out there anyway - commit it the moment you've written it - so
> that other people can take a look.
> 
> we have an anti-"i'll-commit-it-when-it's-perfect" development rule,
> remember?

With you, saw this and pushed.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

[libre-riscv-dev] [Bug 320] split out software install and deps into separate script

[bugzilla-daemon]

https://bugs.libre-soc.org/show_bug.cgi?id=320

--- Comment #8 from Luke Kenneth Casson Leighton <lkcl@lkcl.net> ---
(In reply to Cole Poirier from comment #7)
> (In reply to Luke Kenneth Casson Leighton from comment #6)
> > (In reply to Cole Poirier from comment #5)
> > 
> > > Ok perfect. Much easier. Https does work, I had to look through the mailing
> > > list, I think you and Jacob discussed it in March 
> > > (https://bugs.libre-soc.org/show_bug.cgi?id=266), and set up this method:
> > > http://swarm.cs.pub.ro/~razvan/blog/http-repository-sharing-asides-gitweb/.
> > > Testing the script now, will let you know once I have committed it to
> > > dev-env-setup repo, with the file name 'hdl-dev-repos'.
> > 
> > throw it out there anyway - commit it the moment you've written it - so
> > that other people can take a look.
> > 
> > we have an anti-"i'll-commit-it-when-it's-perfect" development rule,
> > remember?
> 
> With you, saw this and pushed.

got it.
https://git.libre-soc.org/?p=dev-env-setup.git;a=blob;f=hdl-dev-repos;hb=HEAD

ah goood, looks like that'll work really well.

and these cover everything and a bit more, yes?
https://git.libre-soc.org/?p=dev-env-setup.git;a=blob;f=install-apt-reqs;hb=HEAD

if so, that's probably pretty much what the hackathon will need.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

[libre-riscv-dev] [Bug 320] split out software install and deps into separate script

[bugzilla-daemon]

https://bugs.libre-soc.org/show_bug.cgi?id=320

--- Comment #9 from Cole Poirier <colepoirier@gmail.com> ---
(In reply to Luke Kenneth Casson Leighton from comment #8)
> (In reply to Cole Poirier from comment #7)
> > With you, saw this and pushed.
> 
> got it.
> https://git.libre-soc.org/?p=dev-env-setup.git;a=blob;f=hdl-dev-repos;hb=HEAD
> 
> ah goood, looks like that'll work really well.
> 
> and these cover everything and a bit more, yes?
> https://git.libre-soc.org/?p=dev-env-setup.git;a=blob;f=install-apt-reqs;
> hb=HEAD
> 
> if so, that's probably pretty much what the hackathon will need.

Yes, it's the list of all dependencies I've run into errors for not having
installed while trying to build and install the top-level dependencies.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

[libre-riscv-dev] [Bug 320] split out software install and deps into separate script

[bugzilla-daemon]

https://bugs.libre-soc.org/show_bug.cgi?id=320

--- Comment #10 from Cole Poirier <colepoirier@gmail.com> ---
Tested in a lxc-container of Debian 10. The following command should produce
the desired outcome:

```
cd ~
git clone https://git.libre-soc.org/git/dev-env-setup.git
sudo bash
cd /home/$USER
./dev-env-setup/install-apt-reqs && ./dev-env-setup/yosys-et-al &&
./dev-env-setup/hdl-dev-repos
ctrl-d
```

As I am the assignee, should I now close this bug report?

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

[libre-riscv-dev] [Bug 320] split out software install and deps into separate script

[bugzilla-daemon]

https://bugs.libre-soc.org/show_bug.cgi?id=320

--- Comment #11 from Luke Kenneth Casson Leighton <lkcl@lkcl.net> ---
superb.  yes done tested therefore close.  thank you cole.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

[libre-riscv-dev] [Bug 320] split out software install and deps into separate script

[bugzilla-daemon]

https://bugs.libre-soc.org/show_bug.cgi?id=320

Cole Poirier <colepoirier@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|CONFIRMED                   |RESOLVED
         Resolution|---                         |FIXED

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev