Skip to content

Instantly share code, notes, and snippets.

@Locke
Created June 4, 2018 21:17
Show Gist options
  • Save Locke/ec0872910aacb7c953cd25076e3da092 to your computer and use it in GitHub Desktop.
Save Locke/ec0872910aacb7c953cd25076e3da092 to your computer and use it in GitHub Desktop.
locke@UBUNTU:/mnt/c/Users/andre/Downloads/casm-0.1.0/casm-0.1.0$ cmake .
-- The C compiler identification is GNU 5.4.0
-- The CXX compiler identification is GNU 5.4.0
-- Check for working C compiler: /usr/bin/cc
-- Check for working C compiler: /usr/bin/cc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
fatal: not a git repository (or any parent up to mount point /mnt)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
fatal: not a git repository (or any parent up to mount point /mnt)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
fatal: not a git repository (or any parent up to mount point /mnt)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
cat: notice: No such file or directory
-- casm: at of
CMake Error at .cmake/LibPackage.cmake:414 (message):
package 'libstdhl' is not a 'git' repository
Call Stack (most recent call first):
CMakeLists.txt:43 (package_git_submodule)
-- Configuring incomplete, errors occurred!
See also "/mnt/c/Users/andre/Downloads/casm-0.1.0/casm-0.1.0/CMakeFiles/CMakeOutput.log".
locke@UBUNTU:/mnt/c/Users/andre/Downloads/casm-0.1.0/casm-0.1.0$ tree lib/
lib/
├── asmjit
├── casm-be
├── casm-fe
├── casm-ir
├── casm-rt
├── casm-tc
├── cjel-be
├── cjel-ir
├── cjel-rt
├── gtest
├── hayai
├── pass
├── stdhl
├── tptp
└── z3
15 directories, 0 files
locke@UBUNTU:/mnt/c/Users/andre/privat$ git clone --recurse-submodules git@github.com:casm-lang/casm.git
Cloning into 'casm'...
remote: Counting objects: 1524, done.
remote: Compressing objects: 100% (16/16), done.
remote: Total 1524 (delta 6), reused 20 (delta 5), pack-reused 1501
Receiving objects: 100% (1524/1524), 363.31 KiB | 659.00 KiB/s, done.
Resolving deltas: 100% (1085/1085), done.
Submodule 'app/casmc' (git@github.com:casm-lang/casmc.git) registered for path 'app/casmc'
Submodule 'app/casmd' (git@github.com:casm-lang/casmd.git) registered for path 'app/casmd'
Submodule 'app/casmf' (git@github.com:casm-lang/casmf.git) registered for path 'app/casmf'
Submodule 'app/casmi' (git@github.com:casm-lang/casmi.git) registered for path 'app/casmi'
Submodule 'lib/asmjit' (git@github.com:casm-lang/libasmjit.git) registered for path 'lib/asmjit'
Submodule 'lib/casm-be' (git@github.com:casm-lang/libcasm-be.git) registered for path 'lib/casm-be'
Submodule 'lib/casm-fe' (git@github.com:casm-lang/libcasm-fe.git) registered for path 'lib/casm-fe'
Submodule 'lib/casm-ir' (git@github.com:casm-lang/libcasm-ir.git) registered for path 'lib/casm-ir'
Submodule 'lib/casm-rt' (git@github.com:casm-lang/libcasm-rt.git) registered for path 'lib/casm-rt'
Submodule 'lib/casm-tc' (git@github.com:casm-lang/libcasm-tc.git) registered for path 'lib/casm-tc'
Submodule 'lib/cjel-be' (git@github.com:casm-lang/libcjel-be.git) registered for path 'lib/cjel-be'
Submodule 'lib/cjel-ir' (git@github.com:casm-lang/libcjel-ir.git) registered for path 'lib/cjel-ir'
Submodule 'lib/cjel-rt' (git@github.com:casm-lang/libcjel-rt.git) registered for path 'lib/cjel-rt'
Submodule 'lib/gtest' (git@github.com:casm-lang/libgtest.git) registered for path 'lib/gtest'
Submodule 'lib/hayai' (git@github.com:casm-lang/libhayai.git) registered for path 'lib/hayai'
Submodule 'lib/pass' (git@github.com:casm-lang/libpass.git) registered for path 'lib/pass'
Submodule 'lib/stdhl' (git@github.com:casm-lang/libstdhl.git) registered for path 'lib/stdhl'
Submodule 'lib/tptp' (git@github.com:casm-lang/libtptp.git) registered for path 'lib/tptp'
Submodule 'lib/z3' (git@github.com:casm-lang/libz3.git) registered for path 'lib/z3'
Submodule 'var/doc/hahn2014bsc' (git@github.com:casm-lang/casm-lang.doc.hahn2014bsc.git) registered for path 'var/doc/hahn2014bsc'
Submodule 'var/doc/infuehr2013bsc' (git@github.com:casm-lang/casm-lang.doc.infuehr2013bsc.git) registered for path 'var/doc/infuehr2013bsc'
Submodule 'var/doc/lezuo2014phd' (git@github.com:casm-lang/casm-lang.doc.lezuo2014phd.git) registered for path 'var/doc/lezuo2014phd'
Submodule 'var/doc/nguyen2017bsc' (git@github.com:casm-lang/casm-lang.doc.nguyen2017bsc.git) registered for path 'var/doc/nguyen2017bsc'
Submodule 'var/doc/paulweber2014msc' (git@github.com:casm-lang/casm-lang.doc.paulweber2014msc.git) registered for path 'var/doc/paulweber2014msc'
Submodule 'var/doc/paulweber2016abz' (git@github.com:casm-lang/casm-lang.doc.paulweber2016abz.git) registered for path 'var/doc/paulweber2016abz'
Submodule 'var/doc/paulweber2018abz' (git@github.com:casm-lang/casm-lang.doc.paulweber2018abz.git) registered for path 'var/doc/paulweber2018abz'
Submodule 'var/doc/paulweber2019phd' (git@github.com:casm-lang/casm-lang.doc.paulweber2019phd.git) registered for path 'var/doc/paulweber2019phd'
Submodule 'var/doc/pescosta2017bsc' (git@github.com:casm-lang/casm-lang.doc.pescosta2017bsc.git) registered for path 'var/doc/pescosta2017bsc'
Submodule 'var/logo' (git@github.com:casm-lang/casm-lang.logo.git) registered for path 'var/logo'
Submodule 'var/plugin/emacs' (git@github.com:casm-lang/casm-lang.plugin.emacs.git) registered for path 'var/plugin/emacs'
Submodule 'var/plugin/kate' (git@github.com:casm-lang/casm-lang.plugin.kate.git) registered for path 'var/plugin/kate'
Submodule 'var/plugin/monaco' (git@github.com:casm-lang/casm-lang.plugin.monaco.git) registered for path 'var/plugin/monaco'
Submodule 'var/plugin/tmbundle' (git@github.com:casm-lang/casm-lang.plugin.tmbundle.git) registered for path 'var/plugin/tmbundle'
Submodule 'var/plugin/vscode' (git@github.com:casm-lang/casm-lang.plugin.vscode.git) registered for path 'var/plugin/vscode'
Submodule 'var/web' (git@github.com:casm-lang/casm-lang.github.io.git) registered for path 'var/web'
Cloning into '/mnt/c/Users/andre/privat/casm/app/casmc'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/casmc.git' into submodule path '/mnt/c/Users/andre/privat/casm/app/casmc' failed
Failed to clone 'app/casmc'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/app/casmd'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/casmd.git' into submodule path '/mnt/c/Users/andre/privat/casm/app/casmd' failed
Failed to clone 'app/casmd'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/app/casmf'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/casmf.git' into submodule path '/mnt/c/Users/andre/privat/casm/app/casmf' failed
Failed to clone 'app/casmf'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/app/casmi'...
remote: Counting objects: 945, done.
remote: Compressing objects: 100% (4/4), done.
remote: Total 945 (delta 0), reused 1 (delta 0), pack-reused 941
Receiving objects: 100% (945/945), 322.68 KiB | 596.00 KiB/s, done.
Resolving deltas: 100% (551/551), done.
Cloning into '/mnt/c/Users/andre/privat/casm/lib/asmjit'...
remote: Counting objects: 3089, done.
remote: Total 3089 (delta 0), reused 0 (delta 0), pack-reused 3089
Receiving objects: 100% (3089/3089), 4.11 MiB | 1.17 MiB/s, done.
Resolving deltas: 100% (2119/2119), done.
Cloning into '/mnt/c/Users/andre/privat/casm/lib/casm-be'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/libcasm-be.git' into submodule path '/mnt/c/Users/andre/privat/casm/lib/casm-be' failed
Failed to clone 'lib/casm-be'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/lib/casm-fe'...
remote: Counting objects: 14437, done.
remote: Compressing objects: 100% (83/83), done.
remote: Total 14437 (delta 90), reused 92 (delta 62), pack-reused 14292
Receiving objects: 100% (14437/14437), 10.42 MiB | 1.51 MiB/s, done.
Resolving deltas: 100% (11324/11324), done.
Cloning into '/mnt/c/Users/andre/privat/casm/lib/casm-ir'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/libcasm-ir.git' into submodule path '/mnt/c/Users/andre/privat/casm/lib/casm-ir' failed
Failed to clone 'lib/casm-ir'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/lib/casm-rt'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/libcasm-rt.git' into submodule path '/mnt/c/Users/andre/privat/casm/lib/casm-rt' failed
Failed to clone 'lib/casm-rt'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/lib/casm-tc'...
remote: Counting objects: 18116, done.
remote: Compressing objects: 100% (7/7), done.
remote: Total 18116 (delta 1), reused 3 (delta 1), pack-reused 18108
Receiving objects: 100% (18116/18116), 2.13 MiB | 1.43 MiB/s, done.
Resolving deltas: 100% (14251/14251), done.
Cloning into '/mnt/c/Users/andre/privat/casm/lib/cjel-be'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/libcjel-be.git' into submodule path '/mnt/c/Users/andre/privat/casm/lib/cjel-be' failed
Failed to clone 'lib/cjel-be'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/lib/cjel-ir'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/libcjel-ir.git' into submodule path '/mnt/c/Users/andre/privat/casm/lib/cjel-ir' failed
Failed to clone 'lib/cjel-ir'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/lib/cjel-rt'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/libcjel-rt.git' into submodule path '/mnt/c/Users/andre/privat/casm/lib/cjel-rt' failed
Failed to clone 'lib/cjel-rt'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/lib/gtest'...
remote: Counting objects: 11934, done.
remote: Compressing objects: 100% (9/9), done.
remote: Total 11934 (delta 0), reused 4 (delta 0), pack-reused 11924
Receiving objects: 100% (11934/11934), 3.43 MiB | 1.24 MiB/s, done.
Resolving deltas: 100% (8773/8773), done.
Cloning into '/mnt/c/Users/andre/privat/casm/lib/hayai'...
remote: Counting objects: 954, done.
remote: Compressing objects: 100% (9/9), done.
remote: Total 954 (delta 8), reused 11 (delta 8), pack-reused 937
Receiving objects: 100% (954/954), 1.13 MiB | 915.00 KiB/s, done.
Resolving deltas: 100% (528/528), done.
Cloning into '/mnt/c/Users/andre/privat/casm/lib/pass'...
remote: Counting objects: 905, done.
remote: Compressing objects: 100% (3/3), done.
remote: Total 905 (delta 0), reused 2 (delta 0), pack-reused 902
Receiving objects: 100% (905/905), 281.79 KiB | 450.00 KiB/s, done.
Resolving deltas: 100% (611/611), done.
Cloning into '/mnt/c/Users/andre/privat/casm/lib/stdhl'...
remote: Counting objects: 3831, done.
remote: Total 3831 (delta 0), reused 0 (delta 0), pack-reused 3831
Receiving objects: 100% (3831/3831), 1.10 MiB | 764.00 KiB/s, done.
Resolving deltas: 100% (2918/2918), done.
Cloning into '/mnt/c/Users/andre/privat/casm/lib/tptp'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/libtptp.git' into submodule path '/mnt/c/Users/andre/privat/casm/lib/tptp' failed
Failed to clone 'lib/tptp'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/lib/z3'...
remote: Counting objects: 75201, done.
remote: Compressing objects: 100% (8/8), done.
remote: Total 75201 (delta 2), reused 5 (delta 2), pack-reused 75191
Receiving objects: 100% (75201/75201), 29.87 MiB | 1.61 MiB/s, done.
Resolving deltas: 100% (61233/61233), done.
Cloning into '/mnt/c/Users/andre/privat/casm/var/doc/hahn2014bsc'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/casm-lang.doc.hahn2014bsc.git' into submodule path '/mnt/c/Users/andre/privat/casm/var/doc/hahn2014bsc' failed
Failed to clone 'var/doc/hahn2014bsc'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/var/doc/infuehr2013bsc'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/casm-lang.doc.infuehr2013bsc.git' into submodule path '/mnt/c/Users/andre/privat/casm/var/doc/infuehr2013bsc' failed
Failed to clone 'var/doc/infuehr2013bsc'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/var/doc/lezuo2014phd'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/casm-lang.doc.lezuo2014phd.git' into submodule path '/mnt/c/Users/andre/privat/casm/var/doc/lezuo2014phd' failed
Failed to clone 'var/doc/lezuo2014phd'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/var/doc/nguyen2017bsc'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/casm-lang.doc.nguyen2017bsc.git' into submodule path '/mnt/c/Users/andre/privat/casm/var/doc/nguyen2017bsc' failed
Failed to clone 'var/doc/nguyen2017bsc'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/var/doc/paulweber2014msc'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/casm-lang.doc.paulweber2014msc.git' into submodule path '/mnt/c/Users/andre/privat/casm/var/doc/paulweber2014msc' failed
Failed to clone 'var/doc/paulweber2014msc'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/var/doc/paulweber2016abz'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/casm-lang.doc.paulweber2016abz.git' into submodule path '/mnt/c/Users/andre/privat/casm/var/doc/paulweber2016abz' failed
Failed to clone 'var/doc/paulweber2016abz'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/var/doc/paulweber2018abz'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/casm-lang.doc.paulweber2018abz.git' into submodule path '/mnt/c/Users/andre/privat/casm/var/doc/paulweber2018abz' failed
Failed to clone 'var/doc/paulweber2018abz'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/var/doc/paulweber2019phd'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/casm-lang.doc.paulweber2019phd.git' into submodule path '/mnt/c/Users/andre/privat/casm/var/doc/paulweber2019phd' failed
Failed to clone 'var/doc/paulweber2019phd'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/var/doc/pescosta2017bsc'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/casm-lang.doc.pescosta2017bsc.git' into submodule path '/mnt/c/Users/andre/privat/casm/var/doc/pescosta2017bsc' failed
Failed to clone 'var/doc/pescosta2017bsc'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/var/logo'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/casm-lang.logo.git' into submodule path '/mnt/c/Users/andre/privat/casm/var/logo' failed
Failed to clone 'var/logo'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/var/plugin/emacs'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/casm-lang.plugin.emacs.git' into submodule path '/mnt/c/Users/andre/privat/casm/var/plugin/emacs' failed
Failed to clone 'var/plugin/emacs'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/var/plugin/kate'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/casm-lang.plugin.kate.git' into submodule path '/mnt/c/Users/andre/privat/casm/var/plugin/kate' failed
Failed to clone 'var/plugin/kate'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/var/plugin/monaco'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/casm-lang.plugin.monaco.git' into submodule path '/mnt/c/Users/andre/privat/casm/var/plugin/monaco' failed
Failed to clone 'var/plugin/monaco'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/var/plugin/tmbundle'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/casm-lang.plugin.tmbundle.git' into submodule path '/mnt/c/Users/andre/privat/casm/var/plugin/tmbundle' failed
Failed to clone 'var/plugin/tmbundle'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/var/plugin/vscode'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/casm-lang.plugin.vscode.git' into submodule path '/mnt/c/Users/andre/privat/casm/var/plugin/vscode' failed
Failed to clone 'var/plugin/vscode'. Retry scheduled
Cloning into '/mnt/c/Users/andre/privat/casm/var/web'...
remote: Counting objects: 780, done.
remote: Total 780 (delta 0), reused 0 (delta 0), pack-reused 780
Receiving objects: 100% (780/780), 860.01 KiB | 1.03 MiB/s, done.
Resolving deltas: 100% (377/377), done.
Cloning into '/mnt/c/Users/andre/privat/casm/app/casmc'...
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:casm-lang/casmc.git' into submodule path '/mnt/c/Users/andre/privat/casm/app/casmc' failed
Failed to clone 'app/casmc' a second time, aborting
locke@UBUNTU:/mnt/c/Users/andre/privat$ cd casm/
locke@UBUNTU:/mnt/c/Users/andre/privat/casm$ ls
app CMakeLists.txt doc Doxyfile lib LICENSE.txt Makefile obj README.org var
locke@UBUNTU:/mnt/c/Users/andre/privat/casm$ cmake .
-- The C compiler identification is GNU 5.4.0
-- The CXX compiler identification is GNU 5.4.0
-- Check for working C compiler: /usr/bin/cc
-- Check for working C compiler: /usr/bin/cc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
head: invalid number of lines: ‘23\r’
make: *** [license-info] Error 1
cat: notice: No such file or directory
-- casm: b226971-dirty at b226971 of master
-- Found libstdhl [0.1.0-dirty] @ '/mnt/c/Users/andre/privat/casm/lib/stdhl'
found changes!
-- Found libgtest [release-1.8.0-971-g7e7f9d5-dirty] @ '/mnt/c/Users/andre/privat/casm/lib/gtest'
found changes!
-- Found libhayai [v1.0.2-7-g9ca0833-dirty] @ '/mnt/c/Users/andre/privat/casm/lib/hayai'
found changes!
-- Found libpass [0.1.0-dirty] @ '/mnt/c/Users/andre/privat/casm/lib/pass'
found changes!
-- Found libcasm-tc [0.1.0-dirty] @ '/mnt/c/Users/andre/privat/casm/lib/casm-tc'
found changes!
-- Found libcasm-fe [0.1.0-dirty] @ '/mnt/c/Users/andre/privat/casm/lib/casm-fe'
found changes!
CMake Error at .cmake/LibPackage.cmake:414 (message):
package 'libcasm-ir' is not a 'git' repository
Call Stack (most recent call first):
CMakeLists.txt:49 (package_git_submodule)
-- Configuring incomplete, errors occurred!
See also "/mnt/c/Users/andre/privat/casm/CMakeFiles/CMakeOutput.log".
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment