[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Resources for an old newbie ?
From: |
David Masterson |
Subject: |
Re: Resources for an old newbie ? |
Date: |
Sun, 04 Jun 2023 13:35:59 -0700 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
Basile Starynkevitch <basile@starynkevitch.net> writes:
> On 6/4/23 07:25, Eli Zaretskii wrote:
>>> From: David Masterson <dsmasterson@gmail.com>
>>> Date: Sat, 03 Jun 2023 18:00:30 -0700
>>>
>>>> # 1. setup directories
>>>> src_dir=~/src
>>>> emacs_dir=${src_dir}/emacs
>>>> mkdir -p $emacs_dir
>>>>
>>>> # 2. get dependencies
>>>> sudo apt-get -qq update
>>>> sudo apt-get install build-essential debian-goodies libgccjit-10-dev
>>>> sudo apt-get build-dep emacs
>>> This pulled in a *LOT* of stuff.
>
> I am recompiling latest GNU emacs every morning (on Debian or Ubuntu
> desktop) with the following script, the source code is
> (conventionally) on my computer in /usr/src/Editors/emacs
> (which I initialized once with the appropriate git clone).
>
> #! /bin/bash -x
> export PATH=/usr/bin:/bin
> sync
> cd /usr/src/Editors/emacs
> rm -f etc/DOC*
> git pull
> git log -3 | cat
> sync
> rm -rf /tmp/emacsinst/
> time nice make -j -l 9 || exit 1
> time make install DESTDIR=/tmp/emacsinst || exit 1
> sudo cp -v -r -p /tmp/emacsinst/usr/local/. /usr/local/.
> sync
Hmm. Nice.
So, the first make does the autogen & configure? How "beefy" a computer
are you running this on and how long, at most, does it take?
--
David Masterson
- Re: Resources for an old newbie ?, (continued)
- Re: Resources for an old newbie ?, David Masterson, 2023/06/03
- Re: Resources for an old newbie ?, Michael Heerdegen, 2023/06/03
- Re: Resources for an old newbie ?, Eli Zaretskii, 2023/06/04
- Re: Resources for an old newbie ?, David Masterson, 2023/06/04
- Re: Resources for an old newbie ?, Eli Zaretskii, 2023/06/04
- Re: Resources for an old newbie ?, Emanuel Berg, 2023/06/04
- Re: Resources for an old newbie ?, David Masterson, 2023/06/04
- Re: Resources for an old newbie ?, Michael Heerdegen, 2023/06/04
- Re: Resources for an old newbie ?, David Masterson, 2023/06/04
- Re: Resources for an old newbie ?, Emanuel Berg, 2023/06/10
- Re: Resources for an old newbie ?, Emanuel Berg, 2023/06/10
- Re: Resources for an old newbie ?, Emanuel Berg, 2023/06/04
- Re: Resources for an old newbie ?, David Masterson, 2023/06/04