installing Doorstop on macOS (for RTEMS use)

Andrew Butterfield Andrew.Butterfield at
Thu Oct 10 14:15:53 UTC 2019

Dear RTEMS Users,

 Sebastian Huber asked me to check the availability of Doorstop ( for macOS, and to report my experience on this mailing list.

 It is planned to use this for RTEMS requirements in the RTEMS qualification project.

It turned out to install really easily on my machine, in few 10s of seconds

The following is a record of my system setup w.r.t. python,
and the installation process.

Hardware/OS: MacBook Pro, 2.8Ghz i7, 16GB ram, 500GB flash, macOS 10.14.6

python state:

~> which python
~> python --version
Python 2.7.16

~> which python3
~> python3 --version
Python 3.7.4

~> which pip
~> pip --version
pip 19.0.3 from /usr/local/lib/python2.7/site-packages/pip (python 2.7)

~> which pip3
~> pip3 --version
pip 19.1.1 from /usr/local/lib/python3.7/site-packages/pip (python 3.7)

Both pythons are 'brew' versions. Chris Johns said we should only use
the native installed versions. However other tools I may choose to used
often need to be installed using 'brew' and you would be amazed how many
of those have python as a (brew) dependency.

Looking in /System/Library/Frameworks/Python.framework/Versions
we find folders 2.3	2.5	2.6	2.7	Current
Current contains 2.7.10

Attempt 1 - use the 'brew' versions

>pip3 install doorstop

------- log -----
Collecting doorstop
  Downloading (276kB)
     |████████████████████████████████| 276kB 2.6MB/s
Collecting Markdown<3,>=2 (from doorstop)
  Downloading (78kB)
     |████████████████████████████████| 81kB 20.2MB/s
Collecting plantuml-markdown<4.0,>=3.0 (from doorstop)
Requirement already satisfied: PyYAML<6.0,>=5.1 in /usr/local/lib/python3.7/site-packages (from doorstop) (5.1)
Collecting openpyxl<3.0,>=2.6 (from doorstop)
  Downloading (173kB)
     |████████████████████████████████| 174kB 33.4MB/s
Collecting pyficache==0.3.1 (from doorstop)
Collecting mdx_outline<2.0.0,>=1.3.0 (from doorstop)
Collecting bottle==0.12.13 (from doorstop)
  Downloading (70kB)
     |████████████████████████████████| 71kB 20.0MB/s
Collecting python-markdown-math==0.6 (from doorstop)
Requirement already satisfied: requests<3,>=2 in /usr/local/lib/python3.7/site-packages (from doorstop) (2.22.0)
Collecting plantuml (from plantuml-markdown<4.0,>=3.0->doorstop)
Collecting jdcal (from openpyxl<3.0,>=2.6->doorstop)
Collecting et_xmlfile (from openpyxl<3.0,>=2.6->doorstop)
Collecting coverage (from pyficache==0.3.1->doorstop)
  Downloading (181kB)
     |████████████████████████████████| 184kB 31.0MB/s
Requirement already satisfied: pygments>=2.0 in /usr/local/lib/python3.7/site-packages (from pyficache==0.3.1->doorstop) (2.4.0)
Requirement already satisfied: idna<2.9,>=2.5 in /usr/local/lib/python3.7/site-packages (from requests<3,>=2->doorstop) (2.8)
Requirement already satisfied: certifi>=2017.4.17 in /usr/local/lib/python3.7/site-packages (from requests<3,>=2->doorstop) (2019.3.9)
Requirement already satisfied: chardet<3.1.0,>=3.0.2 in /usr/local/lib/python3.7/site-packages (from requests<3,>=2->doorstop) (3.0.4)
Requirement already satisfied: urllib3!=1.25.0,!=1.25.1,<1.26,>=1.21.1 in /usr/local/lib/python3.7/site-packages (from requests<3,>=2->doorstop) (1.25.2)
Collecting httplib2 (from plantuml->plantuml-markdown<4.0,>=3.0->doorstop)
  Downloading (94kB)
     |████████████████████████████████| 102kB 23.6MB/s
Building wheels for collected packages: openpyxl, pyficache, mdx-outline, bottle, et-xmlfile
  Building wheel for openpyxl ( ... done
  Stored in directory: /Users/butrfeld/Library/Caches/pip/wheels/58/1d/e3/7c7ee57db55ac00dd5c4632287d8401cdd08ed59c965306f9c
  Building wheel for pyficache ( ... done
  Stored in directory: /Users/butrfeld/Library/Caches/pip/wheels/ea/6d/01/c61eda6fd06bd626345626d0bb00621c4ff49c09231e760be4
  Building wheel for mdx-outline ( ... done
  Stored in directory: /Users/butrfeld/Library/Caches/pip/wheels/07/89/02/c9ce27a8c12df62b57aed406e996663b3394eec9e9bc7897dd
  Building wheel for bottle ( ... done
  Stored in directory: /Users/butrfeld/Library/Caches/pip/wheels/76/a0/b4/2a3ee1a32d0506931e558530258de1cc04b628eff1b2f008e0
  Building wheel for et-xmlfile ( ... done
  Stored in directory: /Users/butrfeld/Library/Caches/pip/wheels/2a/77/35/0da0965a057698121fc7d8c5a7a9955cdbfb3cc4e2423cad39
Successfully built openpyxl pyficache mdx-outline bottle et-xmlfile
Installing collected packages: Markdown, httplib2, plantuml, plantuml-markdown, jdcal, et-xmlfile, openpyxl, coverage, pyficache, mdx-outline, bottle, python-markdown-math, doorstop
Successfully installed Markdown-2.6.11 bottle-0.12.13 coverage-4.5.4 doorstop-1.6 et-xmlfile-1.0.1 httplib2-0.14.0 jdcal-1.4.1 mdx-outline-1.3.0 openpyxl-2.6.4 plantuml-0.2.1 plantuml-markdown-3.1.3 pyficache-0.3.1 python-markdown-math-0.6
------- end ----- took several seconds

doorstop --help works

I succesfully completed their mini-tutorial introduction.

Regards, Andrew Butterfield
Andrew Butterfield     Tel: +353-1-896-2517     Fax: +353-1-677-2204
Lero at TCD, Head of Foundations & Methods Research Group
School of Computer Science and Statistics,
Room G.39, O'Reilly Institute, Trinity College, University of Dublin

More information about the users mailing list