Clarified that before calling the install-afp script, Isabelle/DOF needs to be registered as a component.
ci/woodpecker/push/build Pipeline was successful
Details
ci/woodpecker/push/build Pipeline was successful
Details
This commit is contained in:
parent
c8a3c58f7f
commit
45e4a11a74
14
README.md
14
README.md
|
@ -18,9 +18,15 @@ Isabelle/DOF has three major prerequisites:
|
||||||
AFP following the instructions given at
|
AFP following the instructions given at
|
||||||
<https://www.isa-afp.org/using.html>. For your convenience, we also
|
<https://www.isa-afp.org/using.html>. For your convenience, we also
|
||||||
provide a script that only installs the two entries required by
|
provide a script that only installs the two entries required by
|
||||||
Isabelle/DOF into the local Isabelle/DOF directory. You can use this
|
Isabelle/DOF into the local Isabelle/DOF directory. First, Isabelle/DOF
|
||||||
script as follows:
|
needs to be registered as an Isabelle component:
|
||||||
|
|
||||||
|
```console
|
||||||
|
foo@bar:~$ isabelle components -u `pwd`
|
||||||
|
```
|
||||||
|
|
||||||
|
Thereafter, the AFP entries can be installed as follows:
|
||||||
|
|
||||||
```console
|
```console
|
||||||
foo@bar:~$ isabelle env ./install-afp
|
foo@bar:~$ isabelle env ./install-afp
|
||||||
```
|
```
|
||||||
|
@ -32,7 +38,9 @@ Isabelle/DOF has three major prerequisites:
|
||||||
|
|
||||||
Isabelle/DOF is provided as an Isabelle component. After installing the
|
Isabelle/DOF is provided as an Isabelle component. After installing the
|
||||||
prerequisites, change into the directory containing Isabelle/DOF (this should be
|
prerequisites, change into the directory containing Isabelle/DOF (this should be
|
||||||
the directory containing this `README.md` file) and execute
|
the directory containing this `README.md` file) and execute (if you executed
|
||||||
|
this command already during the installation of the pre-requisites, you
|
||||||
|
can skip it now):
|
||||||
|
|
||||||
```console
|
```console
|
||||||
foo@bar:~$ isabelle components -u `pwd`
|
foo@bar:~$ isabelle components -u `pwd`
|
||||||
|
|
|
@ -69,8 +69,7 @@ text\<open>
|
||||||
subsubsection*[isadof::technical]\<open>Installing \<^isadof>\<close>
|
subsubsection*[isadof::technical]\<open>Installing \<^isadof>\<close>
|
||||||
text\<open>
|
text\<open>
|
||||||
In the following, we assume that you already downloaded the \<^isadof> distribution
|
In the following, we assume that you already downloaded the \<^isadof> distribution
|
||||||
(\href{\isadofarchiveurl}{\isadofarchiven}) from the \<^isadof> web site. The main steps for
|
(\href{\isadofarchiveurl}{\isadofarchiven}) from the \<^isadof> web site.
|
||||||
installing are extracting the \<^isadof> distribution and calling its \<^boxed_bash>\<open>install-afp\<close> script.
|
|
||||||
We start by extracting the \<^isadof> archive:
|
We start by extracting the \<^isadof> archive:
|
||||||
@{boxed_bash [display]\<open>ë\prompt{}ë tar xf ë\href{\isadofarchiveurl}{\isadofarchiven}ë\<close>}
|
@{boxed_bash [display]\<open>ë\prompt{}ë tar xf ë\href{\isadofarchiveurl}{\isadofarchiven}ë\<close>}
|
||||||
This will create a directory \texttt{\isadofdirn} containing \<^isadof> distribution.
|
This will create a directory \texttt{\isadofdirn} containing \<^isadof> distribution.
|
||||||
|
|
Loading…
Reference in New Issue