aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 15 Pull Requests 3 Packages Projects Releases Wiki Activity

chore: Tomogram stub

This commit is contained in:
Leni Aniva 2025-06-24 15:11:51 -07:00
parent 3e266dc505
commit d7001c1b28
Signed by: aniva
GPG Key ID: D5F96287843E8DFB
2 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Tomogram.lean Normal file
View File

@ -0,0 +1,3 @@
def main : IO Unit := do
IO.println "tomogram stub"

8
lakefile.lean
View File

@ -10,6 +10,7 @@ lean_lib Pantograph {
lean_lib Repl { lean_lib Repl {
} }
@[default_target] @[default_target]
lean_exe repl { lean_exe repl {
root := `Main root := `Main
@ -17,6 +18,13 @@ lean_exe repl {
supportInterpreter := true supportInterpreter := true
} }
@[default_target]
lean_exe tomogram {
root := `Tomogram
-- Solves the native symbol not found problem
supportInterpreter := true
}
require LSpec from git require LSpec from git
"https://github.com/argumentcomputer/LSpec.git" @ "a6652a48b5c67b0d8dd3930fad6390a97d127e8d" "https://github.com/argumentcomputer/LSpec.git" @ "a6652a48b5c67b0d8dd3930fad6390a97d127e8d"
lean_lib Test { lean_lib Test {