guix
/
bootstrappable
mirror of git://git.savannah.gnu.org/guix/bootstrappable.git
2
0
Fork 0
Code Issues Releases Wiki Activity

Switch most URLs to https 

Do not change some types of URLs:

 * URLs that do not have https support
 * URLs in XML files, which might not work afterwards
 * URLs in vendored files, which should get fixed upstream

Suggested-by: check-all-the-things

* README.org,
index.skr,
notes.org,
pages/best-practices.skr,
pages/projects.skr,
pages/projects/mes.md: Use https.
This commit is contained in:
Paul Wise 2020-05-12 14:55:33 +08:00 committed by Jan (janneke) Nieuwenhuizen
parent 4c3dacd9cc
commit d48801509a
No known key found for this signature in database
GPG Key ID: F3C1A0D9C1D65273
7 changed files with 21 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.org
View File

@ -1,6 +1,6 @@
#+TITLE: Bootstrappable.org website #+TITLE: Bootstrappable.org website
Hi there! This is the code for the [[bootstrappable.org]] website. It is a static site generated with [[http://haunt.dthompson.us/][Haunt]]. Hi there! This is the code for the [[bootstrappable.org]] website. It is a static site generated with [[https://dthompson.us/projects/haunt.html][Haunt]].
* Hacking * Hacking
Here’s how to get Haunt and build the site: Here’s how to get Haunt and build the site:

8
haunt.scm
View File

@ -19,7 +19,7 @@
;;; ;;;
;;; You should have received a copy of the Affero General Public ;;; You should have received a copy of the Affero General Public
;;; License along with these source files. If not, see ;;; License along with these source files. If not, see
;;; <http://www.gnu.org/licenses/>. ;;; <https://www.gnu.org/licenses/>.
;; This is a build file for Haunt. ;; This is a build file for Haunt.
@ -124,12 +124,12 @@ place them in the directory DEST."
(a (@ (href "/who.html")) (a (@ (href "/who.html"))
"humans") "humans")
" and powered by " " and powered by "
(a (@ (href "https://gnu.org/software/guile")) (a (@ (href "https://www.gnu.org/software/guile/"))
"GNU Guile") ". " "GNU Guile") ". "
(a (@ (href "http://git.savannah.gnu.org/cgit/guix/bootstrappable.git/")) (a (@ (href "https://git.savannah.gnu.org/cgit/guix/bootstrappable.git/"))
"Source code") "Source code")
" under the " " under the "
(a (@ (href "https://gnu.org/licenses/agpl-3.0.html")) (a (@ (href "https://www.gnu.org/licenses/agpl-3.0.html"))
"GNU AGPL") ".")) "GNU AGPL") "."))
(define top-level-titles (define top-level-titles

2
index.skr
View File

@ -33,6 +33,6 @@
(li [,(anchor "What is a coder's worst nightmare?" (li [,(anchor "What is a coder's worst nightmare?"
"https://www.quora.com/What-is-a-coders-worst-nightmare/answer/Mick-Stute")]) "https://www.quora.com/What-is-a-coders-worst-nightmare/answer/Mick-Stute")])
(li [,(anchor "Defending Against Compiler-Based Backdoors" (li [,(anchor "Defending Against Compiler-Based Backdoors"
"http://blog.regehr.org/archives/1241")]) "https://blog.regehr.org/archives/1241")])
(li [,(anchor "Deniable Backdoors Using Compiler Bugs" (li [,(anchor "Deniable Backdoors Using Compiler Bugs"
"https://www.alchemistowl.org/pocorgtfo/pocorgtfo08.pdf")])))) "https://www.alchemistowl.org/pocorgtfo/pocorgtfo08.pdf")]))))

18
notes.org
View File

@ -15,14 +15,14 @@
** Rather than depend on more binary blobs, throw more CPU time at it, e.g. by emulating an x86 CPU with qemu and then work from there. ** Rather than depend on more binary blobs, throw more CPU time at it, e.g. by emulating an x86 CPU with qemu and then work from there.
** Need to reach out to compiler developers: make sure that there’s a non-self-hosted path to build the first compiler — find cooperative people in compiler projects to “bootstrap” a bootstrapping project ** Need to reach out to compiler developers: make sure that there’s a non-self-hosted path to build the first compiler — find cooperative people in compiler projects to “bootstrap” a bootstrapping project
** try to depend only on the smallest C compiler possible ** try to depend only on the smallest C compiler possible
- e.g. [[http://www.landley.net/code/tinycc/][tinycc]], [[http://pcc.ludd.ltu.se/][pcc]], [[http://www.landley.net/qcc/][qcc]] - e.g. [[https://www.landley.net/code/tinycc/][tinycc]], [[http://pcc.ludd.ltu.se/][pcc]], [[https://www.landley.net/qcc/][qcc]]
- coreboot folks have a simple C compiler RAMCC(?) - coreboot folks have a simple C compiler RAMCC(?)
** register http://bootstrappable.org, collect stories there! ** register https://bootstrappable.org, collect stories there!
*** motivation: collect examples of backdoored compilers *** motivation: collect examples of backdoored compilers
- toy example: https://manishearth.github.io/blog/2016/12/02/reflections-on-rusting-trust/ - toy example: https://manishearth.github.io/blog/2016/12/02/reflections-on-rusting-trust/
- ken thompson: reflections on trusting trust - ken thompson: reflections on trusting trust
- "Defending Against Compiler-Based Backdoors" - "Defending Against Compiler-Based Backdoors"
http://blog.regehr.org/archives/1241 https://blog.regehr.org/archives/1241
- PoC||GTFO - PoC||GTFO
https://www.alchemistowl.org/pocorgtfo/pocorgtfo08.pdf https://www.alchemistowl.org/pocorgtfo/pocorgtfo08.pdf
@ -110,8 +110,8 @@ simple—it does not need to be optimized.
Examples include: Examples include:
- [[https://gnu.org/software/guile][GNU Guile]], a Scheme implementation with a self-hosted compiler, - [[https://www.gnu.org/software/guile/][GNU Guile]], a Scheme implementation with a self-hosted compiler,
relies on an [[http://git.savannah.gnu.org/cgit/guile.git/tree/libguile/eval.c][Scheme interpreter written in C]] for bootstrapping relies on an [[https://git.savannah.gnu.org/cgit/guile.git/tree/libguile/eval.c][Scheme interpreter written in C]] for bootstrapping
purposes. purposes.
Please let us know if you’d like to add your compiler to this list! Please let us know if you’d like to add your compiler to this list!
@ -125,9 +125,9 @@ provide an alternative way to build your build system.
Examples include: Examples include:
- [[https://gnu.org/software/make][GNU Make]] does not require a ‘make’ implementation. It can be built - [[https://www.gnu.org/software/make/][GNU Make]] does not require a ‘make’ implementation. It can be built
using a [[http://git.savannah.gnu.org/cgit/make.git/tree/build.template][shell script]]. using a [[https://git.savannah.gnu.org/cgit/make.git/tree/build.template][shell script]].
- [[http://ant.apache.org/][Apache Ant]] can bootstrap with a [[https://git-wip-us.apache.org/repos/asf?p=ant.git;a=blob;f=bootstrap.sh;h=60b6ece03ce78716bc036a44226f4934b541f326;hb=HEAD][shell script]] - [[https://ant.apache.org/][Apache Ant]] can bootstrap with a [[https://git-wip-us.apache.org/repos/asf?p=ant.git;a=blob;f=bootstrap.sh;h=60b6ece03ce78716bc036a44226f4934b541f326;hb=HEAD][shell script]]
that only relies on the Java compiler. that only relies on the Java compiler.
- [[https://bazel.build/][Bazel]] does not require Bazel to build itself but - [[https://bazel.build/][Bazel]] does not require Bazel to build itself but
can be bootstrapped with a [[https://github.com/bazelbuild/bazel/blob/master/compile.sh][shell script]]. can be bootstrapped with a [[https://github.com/bazelbuild/bazel/blob/master/compile.sh][shell script]].
@ -174,7 +174,7 @@ https://upstream-compiler.example.org/upstream-compiler-20161211-x86_64-linux.ta
TODO: provide an example of how we do this / are going to do this in TODO: provide an example of how we do this / are going to do this in
Nixpkgs / Guix / ...? Nixpkgs / Guix / ...?
http://git.savannah.gnu.org/cgit/guix.git/commit/?id=062134985802d85066418f6ee2f327122166a567 https://git.savannah.gnu.org/cgit/guix.git/commit/?id=062134985802d85066418f6ee2f327122166a567
* Collaboration projects * Collaboration projects

8
pages/best-practices.skr
View File

@ -31,7 +31,7 @@
(ul (li [,(anchor "GNU Guile" "https://gnu.org/software/guile"), (ul (li [,(anchor "GNU Guile" "https://gnu.org/software/guile"),
a Scheme implementation with a self-hosted compiler, a Scheme implementation with a self-hosted compiler,
relies on a ,(anchor "Scheme interpreter written in C" "http://git.savannah.gnu.org/cgit/guile.git/tree/libguile/eval.c") for bootstrapping purposes.])) relies on a ,(anchor "Scheme interpreter written in C" "https://git.savannah.gnu.org/cgit/guile.git/tree/libguile/eval.c") for bootstrapping purposes.]))
(p [Please let us know if you’d like to add your compiler to this list!]) (p [Please let us know if you’d like to add your compiler to this list!])
@ -44,8 +44,8 @@
(p [Examples include:]) (p [Examples include:])
(ul (li [,(anchor "GNU Make" "https://gnu.org/software/make") does not require a ,(code "make") implementation. (ul (li [,(anchor "GNU Make" "https://gnu.org/software/make") does not require a ,(code "make") implementation.
It can be built using a ,(anchor "shell script" "http://git.savannah.gnu.org/cgit/make.git/tree/build.template").]) It can be built using a ,(anchor "shell script" "https://git.savannah.gnu.org/cgit/make.git/tree/build.template").])
(li [,(anchor "Apache Ant" "http://ant.apache.org/") can bootstrap with a ,(anchor "shell script" "https://git-wip-us.apache.org/repos/asf?p=ant.git;a=blob;f=bootstrap.sh;h=60b6ece03ce78716bc036a44226f4934b541f326;hb=HEAD") that only relies on the Java compiler.]) (li [,(anchor "Apache Ant" "https://ant.apache.org/") can bootstrap with a ,(anchor "shell script" "https://git-wip-us.apache.org/repos/asf?p=ant.git;a=blob;f=bootstrap.sh;h=60b6ece03ce78716bc036a44226f4934b541f326;hb=HEAD") that only relies on the Java compiler.])
(li [,(anchor "Buck" "https://buckbuild.com/") does not require Buck to build itself. (li [,(anchor "Buck" "https://buckbuild.com/") does not require Buck to build itself.
Instead, it can be built using ,(anchor "Ant" "https://github.com/facebook/buck/blob/master/build.xml").])) Instead, it can be built using ,(anchor "Ant" "https://github.com/facebook/buck/blob/master/build.xml").]))
@ -75,5 +75,5 @@
;;TODO: provide an example of how we do this / are going to do this in ;;TODO: provide an example of how we do this / are going to do this in
;; Nixpkgs / Guix / ...? ;; Nixpkgs / Guix / ...?
;;http://git.savannah.gnu.org/cgit/guix.git/commit/?id=062134985802d85066418f6ee2f327122166a567 ;;https://git.savannah.gnu.org/cgit/guix.git/commit/?id=062134985802d85066418f6ee2f327122166a567
) )

2
pages/projects.skr
View File

@ -39,5 +39,5 @@
It is written in Haskell and since the first public release requires GHC to build newer versions of the compiler. It is written in Haskell and since the first public release requires GHC to build newer versions of the compiler.
It might be possible to build a first GHC from source with the Hugs interpreter and an older version of GHC. It might be possible to build a first GHC from source with the Hugs interpreter and an older version of GHC.
,(anchor "This blog post describes a first attempt" ,(anchor "This blog post describes a first attempt"
"http://elephly.net/posts/2017-01-09-bootstrapping-haskell-part-1.html") "https://elephly.net/posts/2017-01-09-bootstrapping-haskell-part-1.html")
of this project.]))) of this project.])))

2
pages/projects/mes.md
View File

@ -37,7 +37,7 @@ GCC is a complex beast and a binary of it is often used to bootstrap
the whole system. Version 4.7 is the last version of GCC to not the whole system. Version 4.7 is the last version of GCC to not
require a C++ compiler. This project aims to build GCC version 4.7 require a C++ compiler. This project aims to build GCC version 4.7
with a simple C compiler such as with a simple C compiler such as
[TinyCC](http://www.landley.net/code/tinycc/). [TinyCC](https://www.landley.net/code/tinycc/).
[Since October [Since October
2019](https://guix.gnu.org/en/blog/2019/guix-reduces-bootstrap-seed-by-50/), 2019](https://guix.gnu.org/en/blog/2019/guix-reduces-bootstrap-seed-by-50/),