Problem Installing Ogma on Jammy Docker

[gcsnnn]

Greetings!

I am having trouble getting Ogma to work on a Jammy docker environment. Following the instructions on the git page for version 1.6 gives me the following when trying to run Ogma:

root@9dccabc1e3df:~/ogma# ogma
bash: ogma: command not found

root@9dccabc1e3df:~/ogma# cabal --version
cabal-install version 3.0.0.0
compiled using version 3.0.1.0 of the Cabal library 

root@9dccabc1e3df:~/ogma# ghc --version
The Glorious Glasgow Haskell Compilation System, version 8.8.4

However, I am able to generate the set of monitor.c, monitor.h, and monitor_types.h files from a Monitor.hs file I had generated from previous versions of Ogma:

root@9dccabc1e3df:~/ogma# runhaskell Monitor.hs
Loaded package environment from /root/.ghc/x86_64-linux-8.8.4/environments/default

The root/.local/bin/ folder contains the following files:

Any ideas on how to solve it?

For reference, I am trying to install Ogma on this Docker image(docker pull gcncister/mars:ping_pong_tls), and this is the log for my installation attempt.

root@9dccabc1e3df:/# apt-get install ghc cabal-install
Reading package lists... Done
Building dependency tree... Done
Reading state information... Done
E: Unable to locate package ghc
E: Unable to locate package cabal-install
root@9dccabc1e3df:/# sudo apt-get update
Get:1 http://archive.ubuntu.com/ubuntu jammy InRelease [270 kB]
Get:2 http://security.ubuntu.com/ubuntu jammy-security InRelease [129 kB]                
Get:3 http://archive.ubuntu.com/ubuntu jammy-updates InRelease [128 kB]                              
Get:4 http://archive.ubuntu.com/ubuntu jammy-backports InRelease [127 kB]                                  
Get:5 http://archive.ubuntu.com/ubuntu jammy/main amd64 Packages [1792 kB]                                 
Get:6 http://packages.ros.org/ros2-testing/ubuntu jammy InRelease [4682 B]               
Get:7 http://archive.ubuntu.com/ubuntu jammy/universe amd64 Packages [17.5 MB]                       
Get:8 http://packages.ros.org/ros2-testing/ubuntu jammy/main amd64 Packages [1656 kB]
Get:9 http://security.ubuntu.com/ubuntu jammy-security/restricted amd64 Packages [3798 kB]
Get:10 http://archive.ubuntu.com/ubuntu jammy/restricted amd64 Packages [164 kB]                    
Get:11 http://archive.ubuntu.com/ubuntu jammy/multiverse amd64 Packages [266 kB]                           
Get:12 http://archive.ubuntu.com/ubuntu jammy-updates/universe amd64 Packages [1534 kB]                    
Get:13 http://archive.ubuntu.com/ubuntu jammy-updates/main amd64 Packages [3000 kB]                        
Get:14 http://archive.ubuntu.com/ubuntu jammy-updates/restricted amd64 Packages [3955 kB]                  
Get:15 http://archive.ubuntu.com/ubuntu jammy-updates/multiverse amd64 Packages [65.7 kB]                  
Get:16 http://archive.ubuntu.com/ubuntu jammy-backports/universe amd64 Packages [35.2 kB]                  
Get:17 http://archive.ubuntu.com/ubuntu jammy-backports/main amd64 Packages [81.4 kB]                      
Get:18 http://security.ubuntu.com/ubuntu jammy-security/main amd64 Packages [2692 kB]                      
Get:19 http://security.ubuntu.com/ubuntu jammy-security/universe amd64 Packages [1235 kB]
Get:20 http://security.ubuntu.com/ubuntu jammy-security/multiverse amd64 Packages [57.9 kB] 
Fetched 38.5 MB in 2s (19.2 MB/s)                                                            
Reading package lists... Done
root@9dccabc1e3df:/# apt-get install ghc cabal-install
Reading package lists... Done
Building dependency tree... Done
Reading state information... Done
The following additional packages will be installed:
  libbsd-dev libgmp-dev libgmpxx4ldbl libmd-dev
Suggested packages:
  ghc-prof ghc-doc haskell-doc llvm-11 gmp-doc libgmp10-doc libmpfr-dev
The following NEW packages will be installed:
  cabal-install ghc libbsd-dev libgmp-dev libgmpxx4ldbl libmd-dev
0 upgraded, 6 newly installed, 0 to remove and 298 not upgraded.
Need to get 86.1 MB of archives.
After this operation, 848 MB of additional disk space will be used.
Do you want to continue? [Y/n] Y
Get:1 http://archive.ubuntu.com/ubuntu jammy/main amd64 libgmpxx4ldbl amd64 2:6.2.1+dfsg-3ubuntu1 [9580 B]
Get:2 http://archive.ubuntu.com/ubuntu jammy/main amd64 libgmp-dev amd64 2:6.2.1+dfsg-3ubuntu1 [337 kB]
Get:3 http://archive.ubuntu.com/ubuntu jammy/main amd64 libmd-dev amd64 1.0.4-1build1 [40.0 kB]
Get:4 http://archive.ubuntu.com/ubuntu jammy/main amd64 libbsd-dev amd64 0.11.5-1 [168 kB]
Get:5 http://archive.ubuntu.com/ubuntu jammy/universe amd64 ghc amd64 8.8.4-3 [81.4 MB]
Get:6 http://archive.ubuntu.com/ubuntu jammy/universe amd64 cabal-install amd64 3.0.0.0-3build1.1 [4145 kB]
Fetched 86.1 MB in 3s (26.7 MB/s)      
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously unselected package libgmpxx4ldbl:amd64.
(Reading database ... 90032 files and directories currently installed.)
Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.2.1+dfsg-3ubuntu1_amd64.deb ...
Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-3ubuntu1) ...
Selecting previously unselected package libgmp-dev:amd64.
Preparing to unpack .../1-libgmp-dev_2%3a6.2.1+dfsg-3ubuntu1_amd64.deb ...
Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg-3ubuntu1) ...
Selecting previously unselected package libmd-dev:amd64.
Preparing to unpack .../2-libmd-dev_1.0.4-1build1_amd64.deb ...
Unpacking libmd-dev:amd64 (1.0.4-1build1) ...
Selecting previously unselected package libbsd-dev:amd64.
Preparing to unpack .../3-libbsd-dev_0.11.5-1_amd64.deb ...
Unpacking libbsd-dev:amd64 (0.11.5-1) ...
Selecting previously unselected package ghc.
Preparing to unpack .../4-ghc_8.8.4-3_amd64.deb ...
Unpacking ghc (8.8.4-3) ...
Selecting previously unselected package cabal-install.
Preparing to unpack .../5-cabal-install_3.0.0.0-3build1.1_amd64.deb ...
Unpacking cabal-install (3.0.0.0-3build1.1) ...
Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-3ubuntu1) ...
Setting up libmd-dev:amd64 (1.0.4-1build1) ...
Setting up libbsd-dev:amd64 (0.11.5-1) ...
Setting up libgmp-dev:amd64 (2:6.2.1+dfsg-3ubuntu1) ...
Setting up ghc (8.8.4-3) ...
update-alternatives: using /usr/bin/runghc to provide /usr/bin/runhaskell (runhaskell) in auto mode
update-alternatives: warning: skip creation of /usr/share/man/man1/runhaskell.1.gz because associated file /usr/share/man/man1/runghc.1.gz (of link group runhaskell) doesn't exist
update-alternatives: using /usr/bin/ghc to provide /usr/bin/haskell-compiler (haskell-compiler) in auto mode
update-alternatives: warning: skip creation of /usr/share/man/man1/haskell-compiler.1.gz because associated file /usr/share/man/man1/ghc.1.gz (of link group haskell-compiler) doesn't exist
Setting up cabal-install (3.0.0.0-3build1.1) ...
Processing triggers for libc-bin (2.35-0ubuntu1) ...
root@9dccabc1e3df:/# cd root/
root@9dccabc1e3df:~# ls
root@9dccabc1e3df:~# git clone https://github.com/nasa/ogma.git
Cloning into 'ogma'...
remote: Enumerating objects: 4852, done.
remote: Counting objects: 100% (1491/1491), done.
remote: Compressing objects: 100% (651/651), done.
remote: Total 4852 (delta 962), reused 853 (delta 840), pack-reused 3361 (from 2)
Receiving objects: 100% (4852/4852), 31.62 MiB | 26.01 MiB/s, done.
Resolving deltas: 100% (3479/3479), done.
root@9dccabc1e3df:~# cd ogma
root@9dccabc1e3df:~/ogma# export PATH="$HOME/.local/bin/:$PATH"
root@9dccabc1e3df:~/ogma# cabal update
Config file path source is default config file.
Config file /root/.cabal/config not found.
Writing default configuration to /root/.cabal/config
Downloading the latest package list from hackage.haskell.org
root@9dccabc1e3df:~/ogma# cabal install --lib copilot copilot-c99 copilot-language copilot-theorem copil
ot-libraries copilot-interpreter
Resolving dependencies...
Build profile: -w ghc-8.8.4 -O1
In order, the following will be built (use -v for more details):
 - BoundedChan-1.0.3.0 (lib:BoundedChan) (requires download & build)
 - StateVar-1.2.2 (lib) (requires download & build)
 - alex-3.5.2.0 (exe:alex) (requires download & build)
 - assoc-1.1.1 (lib) (requires download & build)
 - attoparsec-0.14.4 (lib:attoparsec-internal) (requires download & build)
 - base-compat-0.14.1 (lib) (requires download & build)
 - base-orphans-0.9.3 (lib) (requires download & build)
 - bitwise-1.0.0.1 (lib) (requires download & build)
 - call-stack-0.4.0 (lib) (requires download & build)
 - colour-2.3.6 (lib) (requires download & build)
 - copilot-core-4.3 (lib) (requires download & build)
 - data-array-byte-0.1.0.1 (lib) (requires download & build)
 - data-default-0.8.0.1 (lib) (requires download & build)
 - exceptions-0.10.9 (lib) (requires download & build)
 - fingertree-0.1.5.0 (lib) (requires download & build)
 - happy-lib-2.1.5 (lib:grammar) (requires download & build)
 - hsc2hs-0.68.10 (exe:hsc2hs) (requires download & build)
 - ieee754-0.8.0 (lib:ieee754) (requires download & build)
 - integer-logarithms-1.0.4 (lib) (requires download & build)
 - language-c99-0.2.0 (lib) (requires download & build)
 - parallel-3.2.2.0 (lib) (requires download & build)
 - parser-combinators-1.3.0 (lib) (requires download & build)
 - prettyprinter-1.7.1 (lib) (requires download & build)
 - reflection-2.1.9 (lib) (requires download & build)
 - s-cargot-0.1.6.0 (lib) (requires download & build)
 - semigroups-0.20 (lib) (requires download & build)
 - splitmix-0.1.1 (lib) (requires download & build)
 - tagged-0.8.9 (lib) (requires download & build)
 - th-abstraction-0.7.1.0 (lib) (requires download & build)
 - transformers-compat-0.7.2 (lib) (requires download & build)
 - unbounded-delays-0.1.1.1 (lib) (requires download & build)
 - unliftio-core-0.2.1.0 (lib) (requires download & build)
 - utf8-string-1.0.2 (lib) (requires download & build)
 - vector-stream-0.1.0.1 (lib) (requires download & build)
 - void-0.7.3 (lib) (requires download & build)
 - xml-1.3.14 (lib:xml) (requires download & build)
 - zenc-0.1.2 (lib) (requires download & build)
 - contravariant-1.5.5 (lib) (requires download & build)
 - gitrev-1.3.1 (lib) (requires download & build)
 - ansi-terminal-types-1.1 (lib) (requires download & build)
 - copilot-prettyprinter-4.3 (lib) (requires download & build)
 - copilot-interpreter-4.3 (lib) (requires download & build)
 - primitive-0.9.0.0 (lib) (requires download & build)
 - hashable-1.4.7.0 (lib) (requires download & build)
 - safe-exceptions-0.1.7.4 (lib) (requires download & build)
 - bimap-0.5.0 (lib) (requires download & build)
 - happy-lib-2.1.5 (lib:frontend) (requires download & build)
 - happy-lib-2.1.5 (lib:tabular) (requires download & build)
 - zlib-0.7.1.0 (lib) (requires download & build)
 - network-3.2.7.0 (lib:network) (requires download & build)
 - language-c99-util-0.2.0 (lib) (requires download & build)
 - random-1.2.1.3 (lib) (requires download & build)
 - foldable1-classes-compat-0.1.1 (lib) (requires download & build)
 - distributive-0.6.2.1 (lib) (requires download & build)
 - boring-0.2.2 (lib) (requires download & build)
 - th-lift-0.8.6 (lib) (requires download & build)
 - transformers-base-0.4.6 (lib) (requires download & build)
 - deriving-compat-0.6.7 (lib) (requires download & build)
 - concurrent-extra-0.7.0.12 (lib) (requires download & build)
 - panic-0.4.0.1 (lib) (requires download & build)
 - ansi-terminal-1.1.2 (lib) (requires download & build)
 - vector-0.13.2.0 (lib) (requires download & build)
 - unordered-containers-0.2.20 (lib) (requires download & build)
 - scientific-0.3.8.0 (lib) (requires download & build)
 - ordered-containers-0.2.4 (lib) (requires download & build)
 - libBF-0.6.8 (lib) (requires download & build)
 - case-insensitive-1.2.1.0 (lib) (requires download & build)
 - async-2.2.5 (lib) (requires download & build)
 - happy-lib-2.1.5 (lib:backend-lalr) (requires download & build)
 - happy-lib-2.1.5 (lib:backend-glr) (requires download & build)
 - zlib-bindings-0.1.1.5 (lib) (requires download & build)
 - language-c99-simple-0.3.0 (lib) (requires download & build)
 - temporary-1.3 (lib) (requires download & build)
 - these-1.2.1 (lib) (requires download & build)
 - indexed-traversable-0.1.4 (lib) (requires download & build)
 - OneTuple-0.4.2 (lib) (requires download & build)
 - constraints-0.14.2 (lib) (requires download & build)
 - prettyprinter-ansi-terminal-1.1.3 (lib) (requires download & build)
 - th-lift-instances-0.1.20 (lib) (requires download & build)
 - hashtables-1.4.2 (lib) (requires download & build)
 - data-reify-0.6.4 (lib) (requires download & build)
 - attoparsec-0.14.4 (lib) (requires download & build)
 - megaparsec-9.2.1 (lib) (requires download & build)
 - unliftio-0.2.25.1 (lib) (requires download & build)
 - happy-lib-2.1.5 (lib) (requires download & build)
 - copilot-c99-4.3 (lib) (requires download & build)
 - strict-0.5.1 (lib) (requires download & build)
 - comonad-5.0.9 (lib) (requires download & build)
 - indexed-traversable-instances-0.1.2 (lib) (requires download & build)
 - optparse-applicative-0.18.1.0 (lib) (requires download & build)
 - io-streams-1.5.2.2 (lib) (requires download & build)
 - versions-6.0.8 (lib) (requires download & build)
 - happy-2.1.5 (exe:happy) (requires download & build)
 - bifunctors-5.6.2 (lib) (requires download & build)
 - config-value-0.8.3 (lib) (requires download & build)
 - semigroupoids-6.0.1 (lib) (requires download & build)
 - profunctors-5.6.2 (lib) (requires download & build)
 - invariant-0.6.4 (lib) (requires download & build)
 - free-5.2 (lib) (requires download & build)
 - adjunctions-4.4.3 (lib) (requires download & build)
 - kan-extensions-5.2.6 (lib) (requires download & build)
 - lens-5.3.4 (lib) (requires download & build)
 - parameterized-utils-2.1.9.0 (lib) (requires download & build)
 - bv-sized-1.0.6 (lib) (requires download & build)
 - what4-1.6.3 (lib) (requires download & build)
 - copilot-theorem-4.3 (lib) (requires download & build)
 - copilot-language-4.3 (lib) (requires download & build)
 - copilot-libraries-4.3 (lib) (requires download & build)
 - copilot-4.3 (lib) (requires download & build)
Downloading  base-orphans-0.9.3
Downloaded   base-orphans-0.9.3
Downloading  call-stack-0.4.0
Starting     base-orphans-0.9.3 (lib)
Downloaded   call-stack-0.4.0
Downloading  colour-2.3.6
Starting     call-stack-0.4.0 (lib)
Downloaded   colour-2.3.6
Downloading  copilot-core-4.3
Starting     colour-2.3.6 (lib)
Building     base-orphans-0.9.3 (lib)
Building     call-stack-0.4.0 (lib)
Building     colour-2.3.6 (lib)
Downloaded   copilot-core-4.3
Downloading  fingertree-0.1.5.0
Starting     copilot-core-4.3 (lib)
Installing   call-stack-0.4.0 (lib)
Completed    call-stack-0.4.0 (lib)
Building     copilot-core-4.3 (lib)
Downloaded   fingertree-0.1.5.0
Downloading  ieee754-0.8.0
Downloaded   ieee754-0.8.0
Downloading  parser-combinators-1.3.0
Downloaded   parser-combinators-1.3.0
Downloading  semigroups-0.20
Installing   copilot-core-4.3 (lib)
Downloaded   semigroups-0.20
Downloading  transformers-compat-0.7.2
Completed    copilot-core-4.3 (lib)
Downloaded   transformers-compat-0.7.2
Downloading  unbounded-delays-0.1.1.1
Downloaded   unbounded-delays-0.1.1.1
Downloading  unliftio-core-0.2.1.0
Downloaded   unliftio-core-0.2.1.0
Downloading  vector-stream-0.1.0.1
Downloaded   vector-stream-0.1.0.1
Downloading  void-0.7.3
Installing   colour-2.3.6 (lib)
Downloaded   void-0.7.3
Downloading  zenc-0.1.2
Completed    colour-2.3.6 (lib)
Starting     fingertree-0.1.5.0 (lib)
Downloaded   zenc-0.1.2
Downloading  assoc-1.1.1
Building     fingertree-0.1.5.0 (lib)
Downloaded   assoc-1.1.1
Downloading  bitwise-1.0.0.1
Starting     assoc-1.1.1 (lib)
Installing   base-orphans-0.9.3 (lib)
Completed    base-orphans-0.9.3 (lib)
Building     assoc-1.1.1 (lib)
Downloaded   bitwise-1.0.0.1
Downloading  utf8-string-1.0.2
Starting     bitwise-1.0.0.1 (lib)
Downloaded   utf8-string-1.0.2
Downloading  data-default-0.8.0.1
Installing   assoc-1.1.1 (lib)
Completed    assoc-1.1.1 (lib)
Building     bitwise-1.0.0.1 (lib)
Downloaded   data-default-0.8.0.1
Downloading  copilot-interpreter-4.3
Starting     data-default-0.8.0.1 (lib)
Downloaded   copilot-interpreter-4.3
Downloading  copilot-prettyprinter-4.3
Building     data-default-0.8.0.1 (lib)
Downloaded   copilot-prettyprinter-4.3
Downloading  language-c99-0.2.0
Installing   data-default-0.8.0.1 (lib)
Completed    data-default-0.8.0.1 (lib)
Starting     ieee754-0.8.0 (all, legacy fallback)
Downloaded   language-c99-0.2.0
Downloading  language-c99-util-0.2.0
Downloaded   language-c99-util-0.2.0
Downloading  language-c99-simple-0.3.0
Building     ieee754-0.8.0 (all, legacy fallback)
Downloaded   language-c99-simple-0.3.0
Downloading  data-array-byte-0.1.0.1
Downloaded   data-array-byte-0.1.0.1
Downloading  reflection-2.1.9
Starting     data-array-byte-0.1.0.1 (lib)
Downloaded   reflection-2.1.9
Downloading  th-abstraction-0.7.1.0
Building     data-array-byte-0.1.0.1 (lib)
Downloaded   th-abstraction-0.7.1.0
Downloading  deriving-compat-0.6.7
Downloaded   deriving-compat-0.6.7
Downloading  th-lift-0.8.6
Installing   fingertree-0.1.5.0 (lib)
Installing   ieee754-0.8.0 (all, legacy fallback)
Completed    fingertree-0.1.5.0 (lib)
Completed    ieee754-0.8.0 (all, legacy fallback)
Starting     language-c99-0.2.0 (lib)
Downloaded   th-lift-0.8.6
Downloading  primitive-0.9.0.0
Installing   data-array-byte-0.1.0.1 (lib)
Downloaded   primitive-0.9.0.0
Downloading  splitmix-0.1.1
Completed    data-array-byte-0.1.0.1 (lib)
Building     language-c99-0.2.0 (lib)
Downloaded   splitmix-0.1.1
Downloading  random-1.2.1.3
Downloaded   random-1.2.1.3
Downloading  tagged-0.8.9
Installing   bitwise-1.0.0.1 (lib)
Downloaded   tagged-0.8.9
Downloading  boring-0.2.2
Completed    bitwise-1.0.0.1 (lib)
Starting     parser-combinators-1.3.0 (lib)
Downloaded   boring-0.2.2
Downloading  distributive-0.6.2.1
Downloaded   distributive-0.6.2.1
Downloading  foldable1-classes-compat-0.1.1
Building     parser-combinators-1.3.0 (lib)
Downloaded   foldable1-classes-compat-0.1.1
Downloading  base-compat-0.14.1
Downloaded   base-compat-0.14.1
Downloading  copilot-c99-4.3
Starting     base-compat-0.14.1 (lib)
Downloaded   copilot-c99-4.3
Downloading  gitrev-1.3.1
Installing   parser-combinators-1.3.0 (lib)
Building     base-compat-0.14.1 (lib)
Downloaded   gitrev-1.3.1
Downloading  panic-0.4.0.1
Completed    parser-combinators-1.3.0 (lib)
Downloaded   panic-0.4.0.1
Downloading  hsc2hs-0.68.10
Downloaded   hsc2hs-0.68.10
Downloading  zlib-0.7.1.0
Installing   language-c99-0.2.0 (lib)
Starting     hsc2hs-0.68.10 (exe:hsc2hs)
Downloaded   zlib-0.7.1.0
Downloading  zlib-bindings-0.1.1.5
Completed    language-c99-0.2.0 (lib)
Starting     reflection-2.1.9 (lib)
Building     hsc2hs-0.68.10 (exe:hsc2hs)
Building     reflection-2.1.9 (lib)
Downloaded   zlib-bindings-0.1.1.5
Downloading  vector-0.13.2.0
Downloaded   vector-0.13.2.0
Downloading  happy-lib-2.1.5
Downloaded   happy-lib-2.1.5
Downloading  happy-2.1.5
Starting     happy-lib-2.1.5 (lib:grammar)
Downloaded   happy-2.1.5
Downloading  indexed-traversable-0.1.4
Building     happy-lib-2.1.5 (lib:grammar)
Downloaded   indexed-traversable-0.1.4
Downloading  comonad-5.0.9
Downloaded   comonad-5.0.9
Downloading  bifunctors-5.6.2
Installing   base-compat-0.14.1 (lib)
Downloaded   bifunctors-5.6.2
Downloading  integer-logarithms-1.0.4
Completed    base-compat-0.14.1 (lib)
Downloaded   integer-logarithms-1.0.4
Downloading  parallel-3.2.2.0
Starting     integer-logarithms-1.0.4 (lib)
Downloaded   parallel-3.2.2.0
Downloading  concurrent-extra-0.7.0.12
Starting     parallel-3.2.2.0 (lib)
Installing   happy-lib-2.1.5 (lib:grammar)
Downloaded   concurrent-extra-0.7.0.12
Downloading  exceptions-0.10.9
Building     integer-logarithms-1.0.4 (lib)
Completed    happy-lib-2.1.5 (lib:grammar)
Starting     semigroups-0.20 (lib)
Downloaded   exceptions-0.10.9
Downloading  bimap-0.5.0
Starting     exceptions-0.10.9 (lib)
Building     parallel-3.2.2.0 (lib)
Building     semigroups-0.20 (lib)
Building     exceptions-0.10.9 (lib)
Downloaded   bimap-0.5.0
Downloading  safe-exceptions-0.1.7.4
Downloaded   safe-exceptions-0.1.7.4
Downloading  temporary-1.3
Installing   integer-logarithms-1.0.4 (lib)
Installing   semigroups-0.20 (lib)
Downloaded   temporary-1.3
Downloading  network-3.2.7.0
Completed    integer-logarithms-1.0.4 (lib)
Starting     splitmix-0.1.1 (lib)
Completed    semigroups-0.20 (lib)
Starting     tagged-0.8.9 (lib)
Downloaded   network-3.2.7.0
Downloading  transformers-base-0.4.6
Downloaded   transformers-base-0.4.6
Downloading  attoparsec-0.14.4
Downloaded   attoparsec-0.14.4
Downloading  hashable-1.4.7.0
Installing   parallel-3.2.2.0 (lib)
Starting     attoparsec-0.14.4 (lib:attoparsec-internal)
Building     splitmix-0.1.1 (lib)
Building     tagged-0.8.9 (lib)
Installing   reflection-2.1.9 (lib)
Downloaded   hashable-1.4.7.0
Downloading  async-2.2.5
Completed    parallel-3.2.2.0 (lib)
Starting     th-abstraction-0.7.1.0 (lib)
Downloaded   async-2.2.5
Downloading  unliftio-0.2.25.1
Completed    reflection-2.1.9 (lib)
Starting     transformers-compat-0.7.2 (lib)
Building     attoparsec-0.14.4 (lib:attoparsec-internal)
Building     th-abstraction-0.7.1.0 (lib)
Downloaded   unliftio-0.2.25.1
Downloading  case-insensitive-1.2.1.0
Downloaded   case-insensitive-1.2.1.0
Downloading  constraints-0.14.2
Building     transformers-compat-0.7.2 (lib)
Downloaded   constraints-0.14.2
Downloading  hashtables-1.4.2
Downloaded   hashtables-1.4.2
Downloading  libBF-0.6.8
Installing   splitmix-0.1.1 (lib)
Completed    splitmix-0.1.1 (lib)
Starting     unbounded-delays-0.1.1.1 (lib)
Downloaded   libBF-0.6.8
Downloading  ordered-containers-0.2.4
Installing   tagged-0.8.9 (lib)
Installing   exceptions-0.10.9 (lib)
Installing   attoparsec-0.14.4 (lib:attoparsec-internal)
Completed    tagged-0.8.9 (lib)
Starting     unliftio-core-0.2.1.0 (lib)
Completed    exceptions-0.10.9 (lib)
Starting     utf8-string-1.0.2 (lib)
Building     unbounded-delays-0.1.1.1 (lib)
Downloaded   ordered-containers-0.2.4
Downloading  these-1.2.1
Completed    attoparsec-0.14.4 (lib:attoparsec-internal)
Starting     vector-stream-0.1.0.1 (lib)
Downloaded   these-1.2.1
Downloading  unordered-containers-0.2.20
Installing   hsc2hs-0.68.10 (exe:hsc2hs)
Completed    hsc2hs-0.68.10 (exe:hsc2hs)
Starting     void-0.7.3 (lib)
Building     unliftio-core-0.2.1.0 (lib)
Building     utf8-string-1.0.2 (lib)
Downloaded   unordered-containers-0.2.20
Downloading  data-reify-0.6.4
Building     vector-stream-0.1.0.1 (lib)
Installing   unbounded-delays-0.1.1.1 (lib)
Completed    unbounded-delays-0.1.1.1 (lib)
Building     void-0.7.3 (lib)
Installing   unliftio-core-0.2.1.0 (lib)
Downloaded   data-reify-0.6.4
Downloading  prettyprinter-1.7.1
Completed    unliftio-core-0.2.1.0 (lib)
Starting     zenc-0.1.2 (lib)
Installing   void-0.7.3 (lib)
Downloaded   prettyprinter-1.7.1
Downloading  s-cargot-0.1.6.0
Completed    void-0.7.3 (lib)
Starting     prettyprinter-1.7.1 (lib)
Starting     copilot-prettyprinter-4.3 (lib)
Building     zenc-0.1.2 (lib)
Installing   transformers-compat-0.7.2 (lib)
Downloaded   s-cargot-0.1.6.0
Downloading  scientific-0.3.8.0
Starting     s-cargot-0.1.6.0 (lib)
Completed    transformers-compat-0.7.2 (lib)
Starting     copilot-interpreter-4.3 (lib)
Building     prettyprinter-1.7.1 (lib)
Building     copilot-prettyprinter-4.3 (lib)
Downloaded   scientific-0.3.8.0
Downloading  io-streams-1.5.2.2
Installing   zenc-0.1.2 (lib)
Building     s-cargot-0.1.6.0 (lib)
Building     copilot-interpreter-4.3 (lib)
Completed    zenc-0.1.2 (lib)
Downloaded   io-streams-1.5.2.2
Downloading  megaparsec-9.2.1
Installing   utf8-string-1.0.2 (lib)
Downloaded   megaparsec-9.2.1
Downloading  strict-0.5.1
Downloaded   strict-0.5.1
Downloading  th-lift-instances-0.1.20
Completed    utf8-string-1.0.2 (lib)
Starting     primitive-0.9.0.0 (lib)
Installing   copilot-prettyprinter-4.3 (lib)
Downloaded   th-lift-instances-0.1.20
Downloading  versions-6.0.8
Installing   copilot-interpreter-4.3 (lib)
Completed    copilot-prettyprinter-4.3 (lib)
Starting     hashable-1.4.7.0 (lib)
Building     primitive-0.9.0.0 (lib)
Completed    copilot-interpreter-4.3 (lib)
Starting     language-c99-util-0.2.0 (lib)
Installing   th-abstraction-0.7.1.0 (lib)
Installing   vector-stream-0.1.0.1 (lib)
Completed    th-abstraction-0.7.1.0 (lib)
Starting     gitrev-1.3.1 (lib)
Completed    vector-stream-0.1.0.1 (lib)
Starting     happy-lib-2.1.5 (lib:frontend)
Downloaded   versions-6.0.8
Downloading  xml-1.3.14
Building     hashable-1.4.7.0 (lib)
Downloaded   xml-1.3.14
Downloading  ansi-terminal-types-1.1
Building     language-c99-util-0.2.0 (lib)
Starting     xml-1.3.14 (all, legacy fallback)
Downloaded   ansi-terminal-types-1.1
Downloading  ansi-terminal-1.1.2
Starting     ansi-terminal-types-1.1 (lib)
Building     gitrev-1.3.1 (lib)
Building     happy-lib-2.1.5 (lib:frontend)
Downloaded   ansi-terminal-1.1.2
Downloading  prettyprinter-ansi-terminal-1.1.3
Building     xml-1.3.14 (all, legacy fallback)
Downloaded   prettyprinter-ansi-terminal-1.1.3
Downloading  optparse-applicative-0.18.1.0
Building     ansi-terminal-types-1.1 (lib)
Downloaded   optparse-applicative-0.18.1.0
Downloading  alex-3.5.2.0
Installing   language-c99-util-0.2.0 (lib)
Installing   gitrev-1.3.1 (lib)
Downloaded   alex-3.5.2.0
Downloading  config-value-0.8.3
Starting     alex-3.5.2.0 (exe:alex)
Completed    language-c99-util-0.2.0 (lib)
Starting     happy-lib-2.1.5 (lib:tabular)
Downloaded   config-value-0.8.3
Downloading  StateVar-1.2.2
Completed    gitrev-1.3.1 (lib)
Starting     random-1.2.1.3 (lib)
Downloaded   StateVar-1.2.2
Downloading  contravariant-1.5.5
Starting     StateVar-1.2.2 (lib)
Downloaded   contravariant-1.5.5
Downloading  profunctors-5.6.2
Building     alex-3.5.2.0 (exe:alex)
Downloaded   profunctors-5.6.2
Downloading  semigroupoids-6.0.1
Building     happy-lib-2.1.5 (lib:tabular)
Building     random-1.2.1.3 (lib)
Downloaded   semigroupoids-6.0.1
Downloading  free-5.2
Building     StateVar-1.2.2 (lib)
Downloaded   free-5.2
Downloading  adjunctions-4.4.3
Downloaded   adjunctions-4.4.3
Downloading  invariant-0.6.4
Downloaded   invariant-0.6.4
Downloading  kan-extensions-5.2.6
Downloaded   kan-extensions-5.2.6
Downloading  OneTuple-0.4.2
Installing   StateVar-1.2.2 (lib)
Downloaded   OneTuple-0.4.2
Downloading  indexed-traversable-instances-0.1.2
Completed    StateVar-1.2.2 (lib)
Starting     foldable1-classes-compat-0.1.1 (lib)
Downloaded   indexed-traversable-instances-0.1.2
Downloading  lens-5.3.4
Downloaded   lens-5.3.4
Downloading  parameterized-utils-2.1.9.0
Building     foldable1-classes-compat-0.1.1 (lib)
Downloaded   parameterized-utils-2.1.9.0
Downloading  bv-sized-1.0.6
Installing   ansi-terminal-types-1.1 (lib)
Downloaded   bv-sized-1.0.6
Downloading  BoundedChan-1.0.3.0
Installing   hashable-1.4.7.0 (lib)
Completed    ansi-terminal-types-1.1 (lib)
Starting     distributive-0.6.2.1 (lib)
Completed    hashable-1.4.7.0 (lib)
Starting     boring-0.2.2 (lib)
Downloaded   BoundedChan-1.0.3.0
Downloading  what4-1.6.3
Starting     BoundedChan-1.0.3.0 (all, legacy fallback)
Installing   xml-1.3.14 (all, legacy fallback)
Downloaded   what4-1.6.3
Downloading  copilot-theorem-4.3
Building     distributive-0.6.2.1 (lib)
Completed    xml-1.3.14 (all, legacy fallback)
Starting     safe-exceptions-0.1.7.4 (lib)
Building     boring-0.2.2 (lib)
Building     BoundedChan-1.0.3.0 (all, legacy fallback)
Downloaded   copilot-theorem-4.3
Downloading  copilot-language-4.3
Installing   happy-lib-2.1.5 (lib:tabular)
Downloaded   copilot-language-4.3
Downloading  copilot-libraries-4.3
Completed    happy-lib-2.1.5 (lib:tabular)
Starting     bimap-0.5.0 (lib)
Building     safe-exceptions-0.1.7.4 (lib)
Installing   prettyprinter-1.7.1 (lib)
Installing   boring-0.2.2 (lib)
Downloaded   copilot-libraries-4.3
Downloading  copilot-4.3
Completed    prettyprinter-1.7.1 (lib)
Starting     zlib-0.7.1.0 (lib)
Downloaded   copilot-4.3
Installing   BoundedChan-1.0.3.0 (all, legacy fallback)
Completed    boring-0.2.2 (lib)
Starting     network-3.2.7.0 (all, legacy fallback)
Building     bimap-0.5.0 (lib)
Completed    BoundedChan-1.0.3.0 (all, legacy fallback)
Starting     concurrent-extra-0.7.0.12 (lib)
Installing   distributive-0.6.2.1 (lib)
Installing   foldable1-classes-compat-0.1.1 (lib)
Completed    distributive-0.6.2.1 (lib)
Starting     transformers-base-0.4.6 (lib)
Building     zlib-0.7.1.0 (lib)
Completed    foldable1-classes-compat-0.1.1 (lib)
Starting     th-lift-0.8.6 (lib)
Building     concurrent-extra-0.7.0.12 (lib)
Installing   happy-lib-2.1.5 (lib:frontend)
Installing   safe-exceptions-0.1.7.4 (lib)
Installing   s-cargot-0.1.6.0 (lib)
Building     transformers-base-0.4.6 (lib)
Completed    happy-lib-2.1.5 (lib:frontend)
Starting     deriving-compat-0.6.7 (lib)
Completed    safe-exceptions-0.1.7.4 (lib)
Starting     language-c99-simple-0.3.0 (lib)
Building     th-lift-0.8.6 (lib)
Completed    s-cargot-0.1.6.0 (lib)
Starting     panic-0.4.0.1 (lib)
Installing   bimap-0.5.0 (lib)
Completed    bimap-0.5.0 (lib)
Starting     contravariant-1.5.5 (lib)
Building     deriving-compat-0.6.7 (lib)
Building     language-c99-simple-0.3.0 (lib)
Building     panic-0.4.0.1 (lib)
Installing   transformers-base-0.4.6 (lib)
Completed    transformers-base-0.4.6 (lib)
Starting     ansi-terminal-1.1.2 (lib)
Installing   concurrent-extra-0.7.0.12 (lib)
Building     contravariant-1.5.5 (lib)
Completed    concurrent-extra-0.7.0.12 (lib)
Building     network-3.2.7.0 (all, legacy fallback)
Starting     unordered-containers-0.2.20 (lib)
Installing   panic-0.4.0.1 (lib)
Installing   primitive-0.9.0.0 (lib)
Installing   th-lift-0.8.6 (lib)
Building     ansi-terminal-1.1.2 (lib)
Completed    panic-0.4.0.1 (lib)
Starting     ordered-containers-0.2.4 (lib)
Completed    th-lift-0.8.6 (lib)
Starting     libBF-0.6.8 (lib)
Completed    primitive-0.9.0.0 (lib)
Starting     case-insensitive-1.2.1.0 (lib)
Building     unordered-containers-0.2.20 (lib)
Installing   language-c99-simple-0.3.0 (lib)
Building     ordered-containers-0.2.4 (lib)
Completed    language-c99-simple-0.3.0 (lib)
Starting     async-2.2.5 (lib)
Building     libBF-0.6.8 (lib)
Building     case-insensitive-1.2.1.0 (lib)
Installing   contravariant-1.5.5 (lib)
Installing   alex-3.5.2.0 (exe:alex)
Completed    alex-3.5.2.0 (exe:alex)
Starting     happy-lib-2.1.5 (lib:backend-lalr)
Completed    contravariant-1.5.5 (lib)
Starting     happy-lib-2.1.5 (lib:backend-glr)
Installing   ansi-terminal-1.1.2 (lib)
Building     async-2.2.5 (lib)
Completed    ansi-terminal-1.1.2 (lib)
Starting     constraints-0.14.2 (lib)
Building     happy-lib-2.1.5 (lib:backend-lalr)
Building     happy-lib-2.1.5 (lib:backend-glr)
Installing   case-insensitive-1.2.1.0 (lib)
Building     constraints-0.14.2 (lib)
Completed    case-insensitive-1.2.1.0 (lib)
Starting     these-1.2.1 (lib)
Building     these-1.2.1 (lib)
Installing   zlib-0.7.1.0 (lib)
Completed    zlib-0.7.1.0 (lib)
Starting     indexed-traversable-0.1.4 (lib)
Installing   async-2.2.5 (lib)
Completed    async-2.2.5 (lib)
Starting     OneTuple-0.4.2 (lib)
Building     indexed-traversable-0.1.4 (lib)
Installing   ordered-containers-0.2.4 (lib)
Building     OneTuple-0.4.2 (lib)
Completed    ordered-containers-0.2.4 (lib)
Starting     vector-0.13.2.0 (lib)
Installing   happy-lib-2.1.5 (lib:backend-glr)
Completed    happy-lib-2.1.5 (lib:backend-glr)
Starting     scientific-0.3.8.0 (lib)
Building     vector-0.13.2.0 (lib)
Building     scientific-0.3.8.0 (lib)
Installing   random-1.2.1.3 (lib)
Installing   OneTuple-0.4.2 (lib)
Installing   these-1.2.1 (lib)
Completed    random-1.2.1.3 (lib)
Starting     copilot-c99-4.3 (lib)
Installing   constraints-0.14.2 (lib)
Completed    OneTuple-0.4.2 (lib)
Starting     prettyprinter-ansi-terminal-1.1.3 (lib)
Completed    these-1.2.1 (lib)
Starting     zlib-bindings-0.1.1.5 (lib)
Completed    constraints-0.14.2 (lib)
Starting     unliftio-0.2.25.1 (lib)
Building     copilot-c99-4.3 (lib)
Building     prettyprinter-ansi-terminal-1.1.3 (lib)
Building     zlib-bindings-0.1.1.5 (lib)
Building     unliftio-0.2.25.1 (lib)
Installing   libBF-0.6.8 (lib)
Installing   indexed-traversable-0.1.4 (lib)
Completed    indexed-traversable-0.1.4 (lib)
Starting     temporary-1.3 (lib)
Installing   zlib-bindings-0.1.1.5 (lib)
Completed    libBF-0.6.8 (lib)
Starting     strict-0.5.1 (lib)
Completed    zlib-bindings-0.1.1.5 (lib)
Starting     comonad-5.0.9 (lib)
Installing   happy-lib-2.1.5 (lib:backend-lalr)
Installing   network-3.2.7.0 (all, legacy fallback)
Installing   copilot-c99-4.3 (lib)
Installing   prettyprinter-ansi-terminal-1.1.3 (lib)
Completed    happy-lib-2.1.5 (lib:backend-lalr)
Starting     happy-lib-2.1.5 (lib)
Completed    network-3.2.7.0 (all, legacy fallback)
Building     temporary-1.3 (lib)
Building     strict-0.5.1 (lib)
Completed    copilot-c99-4.3 (lib)
Completed    prettyprinter-ansi-terminal-1.1.3 (lib)
Starting     optparse-applicative-0.18.1.0 (lib)
Building     comonad-5.0.9 (lib)
Building     happy-lib-2.1.5 (lib)
Installing   happy-lib-2.1.5 (lib)
Installing   deriving-compat-0.6.7 (lib)
Completed    happy-lib-2.1.5 (lib)
Starting     happy-2.1.5 (exe:happy)
Installing   temporary-1.3 (lib)
Building     optparse-applicative-0.18.1.0 (lib)
Completed    deriving-compat-0.6.7 (lib)
Installing   scientific-0.3.8.0 (lib)
Completed    temporary-1.3 (lib)
Completed    scientific-0.3.8.0 (lib)
Starting     megaparsec-9.2.1 (lib)
Starting     attoparsec-0.14.4 (lib)
Building     happy-2.1.5 (exe:happy)
Building     megaparsec-9.2.1 (lib)
Building     attoparsec-0.14.4 (lib)
Installing   comonad-5.0.9 (lib)
Completed    comonad-5.0.9 (lib)
Starting     bifunctors-5.6.2 (lib)
Installing   happy-2.1.5 (exe:happy)
Building     bifunctors-5.6.2 (lib)
Completed    happy-2.1.5 (exe:happy)
Starting     config-value-0.8.3 (lib)
Installing   unliftio-0.2.25.1 (lib)
Building     config-value-0.8.3 (lib)
Completed    unliftio-0.2.25.1 (lib)
Installing   strict-0.5.1 (lib)
Completed    strict-0.5.1 (lib)
Installing   optparse-applicative-0.18.1.0 (lib)
Completed    optparse-applicative-0.18.1.0 (lib)
Installing   unordered-containers-0.2.20 (lib)
Completed    unordered-containers-0.2.20 (lib)
Starting     data-reify-0.6.4 (lib)
Building     data-reify-0.6.4 (lib)
Installing   data-reify-0.6.4 (lib)
Completed    data-reify-0.6.4 (lib)
Installing   config-value-0.8.3 (lib)
Completed    config-value-0.8.3 (lib)
Installing   bifunctors-5.6.2 (lib)
Completed    bifunctors-5.6.2 (lib)
Starting     profunctors-5.6.2 (lib)
Starting     semigroupoids-6.0.1 (lib)
Installing   megaparsec-9.2.1 (lib)
Completed    megaparsec-9.2.1 (lib)
Starting     versions-6.0.8 (lib)
Building     profunctors-5.6.2 (lib)
Building     semigroupoids-6.0.1 (lib)
Building     versions-6.0.8 (lib)
Installing   profunctors-5.6.2 (lib)
Completed    profunctors-5.6.2 (lib)
Starting     invariant-0.6.4 (lib)
Building     invariant-0.6.4 (lib)
Installing   semigroupoids-6.0.1 (lib)
Completed    semigroupoids-6.0.1 (lib)
Starting     free-5.2 (lib)
Building     free-5.2 (lib)
Installing   attoparsec-0.14.4 (lib)
Installing   versions-6.0.8 (lib)
Installing   invariant-0.6.4 (lib)
Completed    attoparsec-0.14.4 (lib)
Completed    versions-6.0.8 (lib)
Completed    invariant-0.6.4 (lib)
Installing   free-5.2 (lib)
Completed    free-5.2 (lib)
Starting     adjunctions-4.4.3 (lib)
Building     adjunctions-4.4.3 (lib)
Installing   adjunctions-4.4.3 (lib)
Completed    adjunctions-4.4.3 (lib)
Starting     kan-extensions-5.2.6 (lib)
Building     kan-extensions-5.2.6 (lib)
Installing   kan-extensions-5.2.6 (lib)
Completed    kan-extensions-5.2.6 (lib)
Installing   vector-0.13.2.0 (lib)
Completed    vector-0.13.2.0 (lib)
Starting     th-lift-instances-0.1.20 (lib)
Starting     indexed-traversable-instances-0.1.2 (lib)
Starting     io-streams-1.5.2.2 (lib)
Starting     hashtables-1.4.2 (lib)
Building     io-streams-1.5.2.2 (lib)
Building     th-lift-instances-0.1.20 (lib)
Building     indexed-traversable-instances-0.1.2 (lib)
Building     hashtables-1.4.2 (lib)
Installing   indexed-traversable-instances-0.1.2 (lib)
Completed    indexed-traversable-instances-0.1.2 (lib)
Starting     lens-5.3.4 (lib)
Installing   th-lift-instances-0.1.20 (lib)
Completed    th-lift-instances-0.1.20 (lib)
Building     lens-5.3.4 (lib)
Installing   io-streams-1.5.2.2 (lib)
Completed    io-streams-1.5.2.2 (lib)
Installing   hashtables-1.4.2 (lib)
Completed    hashtables-1.4.2 (lib)
Installing   lens-5.3.4 (lib)
Completed    lens-5.3.4 (lib)
Starting     parameterized-utils-2.1.9.0 (lib)
Building     parameterized-utils-2.1.9.0 (lib)
Installing   parameterized-utils-2.1.9.0 (lib)
Completed    parameterized-utils-2.1.9.0 (lib)
Starting     bv-sized-1.0.6 (lib)
Building     bv-sized-1.0.6 (lib)
Installing   bv-sized-1.0.6 (lib)
Completed    bv-sized-1.0.6 (lib)
Starting     what4-1.6.3 (lib)
Building     what4-1.6.3 (lib)
Installing   what4-1.6.3 (lib)
Completed    what4-1.6.3 (lib)
Starting     copilot-theorem-4.3 (lib)
Building     copilot-theorem-4.3 (lib)
Installing   copilot-theorem-4.3 (lib)
Completed    copilot-theorem-4.3 (lib)
Starting     copilot-language-4.3 (lib)
Building     copilot-language-4.3 (lib)
Installing   copilot-language-4.3 (lib)
Completed    copilot-language-4.3 (lib)
Starting     copilot-libraries-4.3 (lib)
Building     copilot-libraries-4.3 (lib)
Installing   copilot-libraries-4.3 (lib)
Completed    copilot-libraries-4.3 (lib)
Starting     copilot-4.3 (lib)
Building     copilot-4.3 (lib)
Installing   copilot-4.3 (lib)
Completed    copilot-4.3 (lib)

root@9dccabc1e3df:~/ogma# cabal install ogma-cli:ogma
Wrote tarball sdist to
/root/ogma/dist-newstyle/sdist/ogma-language-copilot-1.6.0.tar.gz
Wrote tarball sdist to
/root/ogma/dist-newstyle/sdist/ogma-language-c-1.6.0.tar.gz
Wrote tarball sdist to /root/ogma/dist-newstyle/sdist/ogma-spec-1.6.0.tar.gz
Wrote tarball sdist to /root/ogma/dist-newstyle/sdist/ogma-extra-1.6.0.tar.gz
Wrote tarball sdist to
/root/ogma/dist-newstyle/sdist/ogma-language-jsonspec-1.6.0.tar.gz
Wrote tarball sdist to /root/ogma/dist-newstyle/sdist/ogma-cli-1.6.0.tar.gz
Wrote tarball sdist to /root/ogma/dist-newstyle/sdist/ogma-core-1.6.0.tar.gz
Wrote tarball sdist to
/root/ogma/dist-newstyle/sdist/ogma-language-cocospec-1.6.0.tar.gz
Wrote tarball sdist to
/root/ogma/dist-newstyle/sdist/ogma-language-smv-1.6.0.tar.gz
Wrote tarball sdist to
/root/ogma/dist-newstyle/sdist/ogma-language-xmlspec-1.6.0.tar.gz
Resolving dependencies...
Build profile: -w ghc-8.8.4 -O1
In order, the following will be built (use -v for more details):
 - QuickCheck-2.15.0.1 (lib) (requires download & build)
 - bytestring-0.12.2.0 (lib) (requires download & build)
 - character-ps-0.1 (lib) (requires download & build)
 - data-fix-0.3.4 (lib) (requires download & build)
 - dlist-1.0 (lib) (requires download & build)
 - fgl-5.8.3.0 (lib) (requires download & build)
 - generically-0.1.1 (lib) (requires download & build)
 - hxt-charproperties-9.5.0.0 (lib) (requires download & build)
 - integer-conversion-0.1.1 (lib) (requires download & build)
 - ogma-language-copilot-1.6.0 (lib) (requires build)
 - ogma-spec-1.6.0 (lib) (requires build)
 - polyparse-1.13 (lib) (requires download & build)
 - semialign-1.3.1 (lib) (requires download & build)
 - string-qq-0.0.6 (lib) (requires download & build)
 - text-short-0.1.6 (lib) (requires download & build)
 - th-compat-0.1.6 (lib) (requires download & build)
 - time-1.12.1 (lib:time) (requires download & build)
 - time-compat-1.9.8 (lib) (requires download & build)
 - uuid-types-1.0.6 (lib) (requires download & build)
 - witherable-0.5 (lib) (requires download & build)
 - wl-pprint-text-1.2.0.2 (lib) (requires download & build)
 - os-string-2.0.7 (lib) (requires download & build)
 - hxt-unicode-9.0.2.4 (lib:hxt-unicode) (requires download & build)
 - hxt-regex-xmlschema-9.2.0.7 (lib) (requires download & build)
 - network-uri-2.6.4.2 (lib) (requires download & build)
 - text-iso8601-0.1.1 (lib) (requires download & build)
 - graphviz-2999.20.2.1 (lib) (requires download & build)
 - filepath-1.5.4.0 (lib) (requires download & build)
 - hxt-9.3.1.22 (lib) (requires download & build)
 - aeson-2.2.3.0 (lib) (requires download & build)
 - unix-2.8.6.0 (lib:unix) (requires download & build)
 - hxt-xpath-9.1.2.2 (lib:hxt-xpath) (requires download & build)
 - microstache-1.0.3 (lib) (requires download & build)
 - jsonpath-0.3.0.0 (lib) (requires download & build)
 - file-io-0.1.5 (lib) (requires download & build)
 - ogma-language-xmlspec-1.6.0 (lib) (requires build)
 - ogma-extra-1.6.0 (lib) (requires build)
 - ogma-language-jsonspec-1.6.0 (lib) (requires build)
 - directory-1.3.9.0 (lib:directory) (requires download & build)
 - process-1.6.25.0 (lib:process) (requires download & build)
 - alex-3.5.2.0 (exe:alex) (requires build)
 - BNFC-2.9.5 (lib) (requires download & build)
 - BNFC-2.9.5 (exe:bnfc) (requires download & build)
 - ogma-language-smv-1.6.0 (lib:ogma-language-smv) (requires build)
 - ogma-language-cocospec-1.6.0 (lib:ogma-language-cocospec) (requires build)
 - ogma-language-c-1.6.0 (lib:ogma-language-c) (requires build)
 - ogma-core-1.6.0 (lib) (requires build)
 - ogma-cli-1.6.0 (exe:ogma) (requires build)
Downloading  character-ps-0.1
Starting     ogma-spec-1.6.0 (lib)
Starting     ogma-language-copilot-1.6.0 (lib)
Downloaded   character-ps-0.1
Downloading  generically-0.1.1
Starting     character-ps-0.1 (lib)
Downloaded   generically-0.1.1
Downloading  hxt-charproperties-9.5.0.0
Starting     generically-0.1.1 (lib)
Downloaded   hxt-charproperties-9.5.0.0
Downloading  hxt-unicode-9.0.2.4
Starting     hxt-charproperties-9.5.0.0 (lib)
Downloaded   hxt-unicode-9.0.2.4
Downloading  dlist-1.0
Downloaded   dlist-1.0
Downloading  bytestring-0.12.2.0
Starting     dlist-1.0 (lib)
Downloaded   bytestring-0.12.2.0
Downloading  string-qq-0.0.6
Starting     bytestring-0.12.2.0 (lib)
Downloaded   string-qq-0.0.6
Downloading  time-1.12.1
Building     ogma-language-copilot-1.6.0 (lib)
Building     ogma-spec-1.6.0 (lib)
Downloaded   time-1.12.1
Downloading  th-compat-0.1.6
Downloaded   th-compat-0.1.6
Downloading  fgl-5.8.3.0
Building     character-ps-0.1 (lib)
Downloaded   fgl-5.8.3.0
Downloading  os-string-2.0.7
Starting     fgl-5.8.3.0 (lib)
Building     generically-0.1.1 (lib)
Downloaded   os-string-2.0.7
Downloading  filepath-1.5.4.0
Downloaded   filepath-1.5.4.0
Downloading  unix-2.8.6.0
Building     hxt-charproperties-9.5.0.0 (lib)
Downloaded   unix-2.8.6.0
Downloading  file-io-0.1.5
Installing   ogma-language-copilot-1.6.0 (lib)
Building     dlist-1.0 (lib)
Downloaded   file-io-0.1.5
Downloading  directory-1.3.9.0
Downloaded   directory-1.3.9.0
Downloading  process-1.6.25.0
Installing   ogma-spec-1.6.0 (lib)
Building     bytestring-0.12.2.0 (lib)
Downloaded   process-1.6.25.0
Downloading  data-fix-0.3.4
Downloaded   data-fix-0.3.4
Downloading  time-compat-1.9.8
Starting     data-fix-0.3.4 (lib)
Completed    ogma-language-copilot-1.6.0 (lib)
Downloaded   time-compat-1.9.8
Downloading  integer-conversion-0.1.1
Downloaded   integer-conversion-0.1.1
Downloading  hxt-regex-xmlschema-9.2.0.7
Starting     integer-conversion-0.1.1 (lib)
Building     fgl-5.8.3.0 (lib)
Installing   generically-0.1.1 (lib)
Completed    ogma-spec-1.6.0 (lib)
Starting     string-qq-0.0.6 (lib)
Downloaded   hxt-regex-xmlschema-9.2.0.7
Downloading  network-uri-2.6.4.2
Downloaded   network-uri-2.6.4.2
Downloading  hxt-9.3.1.22
Downloaded   hxt-9.3.1.22
Downloading  hxt-xpath-9.1.2.2
Downloaded   hxt-xpath-9.1.2.2
Downloading  polyparse-1.13
Completed    generically-0.1.1 (lib)
Downloaded   polyparse-1.13
Downloading  text-iso8601-0.1.1
Starting     polyparse-1.13 (lib)
Downloaded   text-iso8601-0.1.1
Downloading  text-short-0.1.6
Downloaded   text-short-0.1.6
Downloading  uuid-types-1.0.6
Starting     text-short-0.1.6 (lib)
Installing   character-ps-0.1 (lib)
Downloaded   uuid-types-1.0.6
Downloading  wl-pprint-text-1.2.0.2
Building     data-fix-0.3.4 (lib)
Downloaded   wl-pprint-text-1.2.0.2
Downloading  graphviz-2999.20.2.1
Downloaded   graphviz-2999.20.2.1
Downloading  QuickCheck-2.15.0.1
Downloaded   QuickCheck-2.15.0.1
Downloading  semialign-1.3.1
Completed    character-ps-0.1 (lib)
Building     string-qq-0.0.6 (lib)
Starting     th-compat-0.1.6 (lib)
Building     integer-conversion-0.1.1 (lib)
Starting     QuickCheck-2.15.0.1 (lib)
Downloaded   semialign-1.3.1
Downloading  witherable-0.5
Starting     semialign-1.3.1 (lib)
Downloaded   witherable-0.5
Downloading  aeson-2.2.3.0
Downloaded   aeson-2.2.3.0
Downloading  jsonpath-0.3.0.0
Downloaded   jsonpath-0.3.0.0
Downloading  microstache-1.0.3
Building     polyparse-1.13 (lib)
Downloaded   microstache-1.0.3
Downloading  BNFC-2.9.5
Installing   dlist-1.0 (lib)
Downloaded   BNFC-2.9.5
Building     text-short-0.1.6 (lib)
Installing   string-qq-0.0.6 (lib)
Completed    dlist-1.0 (lib)
Starting     time-1.12.1 (all, legacy fallback)
Building     th-compat-0.1.6 (lib)
Building     QuickCheck-2.15.0.1 (lib)
Installing   integer-conversion-0.1.1 (lib)
Building     semialign-1.3.1 (lib)
Completed    string-qq-0.0.6 (lib)
Starting     time-compat-1.9.8 (lib)
Installing   data-fix-0.3.4 (lib)
Completed    integer-conversion-0.1.1 (lib)
Starting     uuid-types-1.0.6 (lib)
Completed    data-fix-0.3.4 (lib)
Starting     witherable-0.5 (lib)
Installing   th-compat-0.1.6 (lib)
Building     time-compat-1.9.8 (lib)
Building     uuid-types-1.0.6 (lib)
Completed    th-compat-0.1.6 (lib)
Starting     wl-pprint-text-1.2.0.2 (lib)
Building     witherable-0.5 (lib)
Building     wl-pprint-text-1.2.0.2 (lib)
Building     time-1.12.1 (all, legacy fallback)
Installing   text-short-0.1.6 (lib)
Completed    text-short-0.1.6 (lib)
Starting     network-uri-2.6.4.2 (lib)
Installing   uuid-types-1.0.6 (lib)
Installing   wl-pprint-text-1.2.0.2 (lib)
Building     network-uri-2.6.4.2 (lib)
Completed    uuid-types-1.0.6 (lib)
Completed    wl-pprint-text-1.2.0.2 (lib)
Installing   semialign-1.3.1 (lib)
Completed    semialign-1.3.1 (lib)
Installing   time-compat-1.9.8 (lib)
Completed    time-compat-1.9.8 (lib)
Starting     text-iso8601-0.1.1 (lib)
Installing   witherable-0.5 (lib)
Completed    witherable-0.5 (lib)
Building     text-iso8601-0.1.1 (lib)
Installing   fgl-5.8.3.0 (lib)
Completed    fgl-5.8.3.0 (lib)
Installing   hxt-charproperties-9.5.0.0 (lib)
Installing   network-uri-2.6.4.2 (lib)
Completed    hxt-charproperties-9.5.0.0 (lib)
Starting     hxt-unicode-9.0.2.4 (all, legacy fallback)
Starting     hxt-regex-xmlschema-9.2.0.7 (lib)
Completed    network-uri-2.6.4.2 (lib)
Building     hxt-regex-xmlschema-9.2.0.7 (lib)
Building     hxt-unicode-9.0.2.4 (all, legacy fallback)
Installing   polyparse-1.13 (lib)
Completed    polyparse-1.13 (lib)
Starting     graphviz-2999.20.2.1 (lib)
Building     graphviz-2999.20.2.1 (lib)
Installing   hxt-unicode-9.0.2.4 (all, legacy fallback)
Completed    hxt-unicode-9.0.2.4 (all, legacy fallback)
Installing   text-iso8601-0.1.1 (lib)
Completed    text-iso8601-0.1.1 (lib)
Installing   time-1.12.1 (all, legacy fallback)
Completed    time-1.12.1 (all, legacy fallback)
Installing   hxt-regex-xmlschema-9.2.0.7 (lib)
Completed    hxt-regex-xmlschema-9.2.0.7 (lib)
Starting     hxt-9.3.1.22 (lib)
Building     hxt-9.3.1.22 (lib)
Installing   QuickCheck-2.15.0.1 (lib)
Completed    QuickCheck-2.15.0.1 (lib)
Starting     aeson-2.2.3.0 (lib)
Building     aeson-2.2.3.0 (lib)
Installing   bytestring-0.12.2.0 (lib)
Completed    bytestring-0.12.2.0 (lib)
Starting     os-string-2.0.7 (lib)
Building     os-string-2.0.7 (lib)
Installing   os-string-2.0.7 (lib)
Completed    os-string-2.0.7 (lib)
Starting     filepath-1.5.4.0 (lib)
Building     filepath-1.5.4.0 (lib)
Installing   filepath-1.5.4.0 (lib)
Completed    filepath-1.5.4.0 (lib)
Starting     unix-2.8.6.0 (all, legacy fallback)
Building     unix-2.8.6.0 (all, legacy fallback)
Installing   unix-2.8.6.0 (all, legacy fallback)
Completed    unix-2.8.6.0 (all, legacy fallback)
Starting     file-io-0.1.5 (lib)
Installing   hxt-9.3.1.22 (lib)
Building     file-io-0.1.5 (lib)
Completed    hxt-9.3.1.22 (lib)
Starting     hxt-xpath-9.1.2.2 (all, legacy fallback)
Building     hxt-xpath-9.1.2.2 (all, legacy fallback)
Installing   file-io-0.1.5 (lib)
Completed    file-io-0.1.5 (lib)
Starting     directory-1.3.9.0 (all, legacy fallback)
Building     directory-1.3.9.0 (all, legacy fallback)
Installing   hxt-xpath-9.1.2.2 (all, legacy fallback)
Installing   aeson-2.2.3.0 (lib)
Completed    hxt-xpath-9.1.2.2 (all, legacy fallback)
Starting     ogma-language-xmlspec-1.6.0 (lib)
Installing   directory-1.3.9.0 (all, legacy fallback)
Completed    aeson-2.2.3.0 (lib)
Starting     jsonpath-0.3.0.0 (lib)
Starting     microstache-1.0.3 (lib)
Completed    directory-1.3.9.0 (all, legacy fallback)
Starting     process-1.6.25.0 (all, legacy fallback)
Starting     alex-3.5.2.0 (exe:alex)
Building     ogma-language-xmlspec-1.6.0 (lib)
Building     jsonpath-0.3.0.0 (lib)
Building     microstache-1.0.3 (lib)
Building     alex-3.5.2.0 (exe:alex)
Building     process-1.6.25.0 (all, legacy fallback)
Installing   ogma-language-xmlspec-1.6.0 (lib)
Completed    ogma-language-xmlspec-1.6.0 (lib)
Installing   process-1.6.25.0 (all, legacy fallback)
Completed    process-1.6.25.0 (all, legacy fallback)
Installing   jsonpath-0.3.0.0 (lib)
Completed    jsonpath-0.3.0.0 (lib)
Starting     ogma-language-jsonspec-1.6.0 (lib)
Installing   microstache-1.0.3 (lib)
Completed    microstache-1.0.3 (lib)
Starting     ogma-extra-1.6.0 (lib)
Installing   alex-3.5.2.0 (exe:alex)
Completed    alex-3.5.2.0 (exe:alex)
Starting     BNFC-2.9.5 (lib)
Building     ogma-language-jsonspec-1.6.0 (lib)
Building     ogma-extra-1.6.0 (lib)
Building     BNFC-2.9.5 (lib)
Installing   ogma-language-jsonspec-1.6.0 (lib)
Installing   ogma-extra-1.6.0 (lib)
Completed    ogma-language-jsonspec-1.6.0 (lib)
Completed    ogma-extra-1.6.0 (lib)
Installing   graphviz-2999.20.2.1 (lib)
Completed    graphviz-2999.20.2.1 (lib)
Installing   BNFC-2.9.5 (lib)
Completed    BNFC-2.9.5 (lib)
Starting     BNFC-2.9.5 (exe:bnfc)
Building     BNFC-2.9.5 (exe:bnfc)
Installing   BNFC-2.9.5 (exe:bnfc)
Completed    BNFC-2.9.5 (exe:bnfc)
Starting     ogma-language-cocospec-1.6.0 (all, legacy fallback)
Starting     ogma-language-smv-1.6.0 (all, legacy fallback)
Starting     ogma-language-c-1.6.0 (all, legacy fallback)
Building     ogma-language-c-1.6.0 (all, legacy fallback)
Building     ogma-language-cocospec-1.6.0 (all, legacy fallback)
Building     ogma-language-smv-1.6.0 (all, legacy fallback)
Installing   ogma-language-cocospec-1.6.0 (all, legacy fallback)
Installing   ogma-language-smv-1.6.0 (all, legacy fallback)
Completed    ogma-language-cocospec-1.6.0 (all, legacy fallback)
Completed    ogma-language-smv-1.6.0 (all, legacy fallback)
Installing   ogma-language-c-1.6.0 (all, legacy fallback)
Completed    ogma-language-c-1.6.0 (all, legacy fallback)
Starting     ogma-core-1.6.0 (lib)
Building     ogma-core-1.6.0 (lib)
Installing   ogma-core-1.6.0 (lib)
Completed    ogma-core-1.6.0 (lib)
Starting     ogma-cli-1.6.0 (exe:ogma)
Building     ogma-cli-1.6.0 (exe:ogma)
Installing   ogma-cli-1.6.0 (exe:ogma)
Completed    ogma-cli-1.6.0 (exe:ogma)
Symlinking 'ogma'

Thank you for your time!

[ivanperez-keera]

Sorry, I seem to have missed this.

Can you see if you have an ogma executable under $HOME/.cabal/bin? Someone recently reported a similar issue.