add_library (Init STATIC Init.c Init/Classical.c Init/Coe.c Init/Control.c Init/Control/Basic.c Init/Control/EState.c Init/Control/Except.c Init/Control/ExceptCps.c Init/Control/Id.c Init/Control/Lawful.c Init/Control/Option.c Init/Control/Reader.c Init/Control/State.c Init/Control/StateCps.c Init/Control/StateRef.c Init/Core.c Init/Data.c Init/Data/Array.c Init/Data/Array/Basic.c Init/Data/Array/BinSearch.c Init/Data/Array/InsertionSort.c Init/Data/Array/QSort.c Init/Data/Array/Subarray.c Init/Data/Basic.c Init/Data/ByteArray.c Init/Data/ByteArray/Basic.c Init/Data/Char.c Init/Data/Char/Basic.c Init/Data/Fin.c Init/Data/Fin/Basic.c Init/Data/Float.c Init/Data/FloatArray.c Init/Data/FloatArray/Basic.c Init/Data/Format.c Init/Data/Format/Basic.c Init/Data/Format/Instances.c Init/Data/Format/Macro.c Init/Data/Format/Syntax.c Init/Data/Hashable.c Init/Data/Int.c Init/Data/Int/Basic.c Init/Data/List.c Init/Data/List/Basic.c Init/Data/List/BasicAux.c Init/Data/List/Control.c Init/Data/Nat.c Init/Data/Nat/Basic.c Init/Data/Nat/Bitwise.c Init/Data/Nat/Control.c Init/Data/Nat/Div.c Init/Data/Nat/Gcd.c Init/Data/OfScientific.c Init/Data/Option.c Init/Data/Option/Basic.c Init/Data/Option/BasicAux.c Init/Data/Option/Instances.c Init/Data/Random.c Init/Data/Range.c Init/Data/Repr.c Init/Data/Stream.c Init/Data/String.c Init/Data/String/Basic.c Init/Data/String/Extra.c Init/Data/ToString.c Init/Data/ToString/Basic.c Init/Data/ToString/Macro.c Init/Data/UInt.c Init/Fix.c Init/Hints.c Init/Meta.c Init/Notation.c Init/NotationExtra.c Init/Prelude.c Init/SimpLemmas.c Init/SizeOf.c Init/System.c Init/System/FilePath.c Init/System/IO.c Init/System/IOError.c Init/System/Platform.c Init/System/ST.c Init/Util.c Init/WF.c )
set_target_properties(Init PROPERTIES ARCHIVE_OUTPUT_DIRECTORY "${CMAKE_BINARY_DIR}/lib/lean")
add_library (Std STATIC Std.c Std/Control.c Std/Control/Nondet.c Std/Data.c Std/Data/AssocList.c Std/Data/BinomialHeap.c Std/Data/DList.c Std/Data/HashMap.c Std/Data/HashSet.c Std/Data/PersistentArray.c Std/Data/PersistentHashMap.c Std/Data/PersistentHashSet.c Std/Data/Queue.c Std/Data/RBMap.c Std/Data/RBTree.c Std/Data/Stack.c Std/ShareCommon.c )
set_target_properties(Std PROPERTIES ARCHIVE_OUTPUT_DIRECTORY "${CMAKE_BINARY_DIR}/lib/lean")
add_library (Lean STATIC Lean.c Lean/Attributes.c Lean/AuxRecursor.c Lean/Class.c Lean/Compiler.c Lean/Compiler/BorrowedAnnotation.c Lean/Compiler/ClosedTermCache.c Lean/Compiler/ConstFolding.c Lean/Compiler/ExportAttr.c Lean/Compiler/ExternAttr.c Lean/Compiler/IR.c Lean/Compiler/IR/Basic.c Lean/Compiler/IR/Borrow.c Lean/Compiler/IR/Boxing.c Lean/Compiler/IR/Checker.c Lean/Compiler/IR/CompilerM.c Lean/Compiler/IR/CtorLayout.c Lean/Compiler/IR/ElimDeadBranches.c Lean/Compiler/IR/ElimDeadVars.c Lean/Compiler/IR/EmitC.c Lean/Compiler/IR/EmitUtil.c Lean/Compiler/IR/ExpandResetReuse.c Lean/Compiler/IR/Format.c Lean/Compiler/IR/FreeVars.c Lean/Compiler/IR/LiveVars.c Lean/Compiler/IR/NormIds.c Lean/Compiler/IR/PushProj.c Lean/Compiler/IR/RC.c Lean/Compiler/IR/ResetReuse.c Lean/Compiler/IR/SimpCase.c Lean/Compiler/IR/Sorry.c Lean/Compiler/IR/UnboxResult.c Lean/Compiler/ImplementedByAttr.c Lean/Compiler/InitAttr.c Lean/Compiler/InlineAttrs.c Lean/Compiler/NameMangling.c Lean/Compiler/NeverExtractAttr.c Lean/Compiler/Specialize.c Lean/Compiler/Util.c Lean/CoreM.c Lean/Data.c Lean/Data/Format.c Lean/Data/Json.c Lean/Data/Json/Basic.c Lean/Data/Json/FromToJson.c Lean/Data/Json/Parser.c Lean/Data/Json/Printer.c Lean/Data/Json/Stream.c Lean/Data/JsonRpc.c Lean/Data/KVMap.c Lean/Data/LBool.c Lean/Data/LOption.c Lean/Data/Lsp.c Lean/Data/Lsp/Basic.c Lean/Data/Lsp/Capabilities.c Lean/Data/Lsp/Communication.c Lean/Data/Lsp/Diagnostics.c Lean/Data/Lsp/Extra.c Lean/Data/Lsp/InitShutdown.c Lean/Data/Lsp/Ipc.c Lean/Data/Lsp/LanguageFeatures.c Lean/Data/Lsp/TextSync.c Lean/Data/Lsp/Utf16.c Lean/Data/Lsp/Workspace.c Lean/Data/Name.c Lean/Data/NameTrie.c Lean/Data/Occurrences.c Lean/Data/OpenDecl.c Lean/Data/Options.c Lean/Data/Position.c Lean/Data/PrefixTree.c Lean/Data/SMap.c Lean/Data/Trie.c Lean/Declaration.c Lean/DeclarationRange.c Lean/DocString.c Lean/Elab.c Lean/Elab/App.c Lean/Elab/Attributes.c Lean/Elab/AutoBound.c Lean/Elab/Binders.c Lean/Elab/BuiltinNotation.c Lean/Elab/CollectFVars.c Lean/Elab/Command.c Lean/Elab/DeclModifiers.c Lean/Elab/DeclUtil.c Lean/Elab/Declaration.c Lean/Elab/DeclarationRange.c Lean/Elab/DefView.c Lean/Elab/Deriving.c Lean/Elab/Deriving/BEq.c Lean/Elab/Deriving/Basic.c Lean/Elab/Deriving/DecEq.c Lean/Elab/Deriving/FromToJson.c Lean/Elab/Deriving/Inhabited.c Lean/Elab/Deriving/Repr.c Lean/Elab/Deriving/SizeOf.c Lean/Elab/Deriving/Util.c Lean/Elab/Do.c Lean/Elab/Exception.c Lean/Elab/Extra.c Lean/Elab/Frontend.c Lean/Elab/Import.c Lean/Elab/Inductive.c Lean/Elab/InfoTree.c Lean/Elab/LetRec.c Lean/Elab/Level.c Lean/Elab/Log.c Lean/Elab/Match.c Lean/Elab/MutualDef.c Lean/Elab/Open.c Lean/Elab/PreDefinition.c Lean/Elab/PreDefinition/Basic.c Lean/Elab/PreDefinition/Main.c Lean/Elab/PreDefinition/MkInhabitant.c Lean/Elab/PreDefinition/Structural.c Lean/Elab/PreDefinition/WF.c Lean/Elab/Print.c Lean/Elab/Quotation.c Lean/Elab/Quotation/Util.c Lean/Elab/SetOption.c Lean/Elab/StructInst.c Lean/Elab/Structure.c Lean/Elab/Syntax.c Lean/Elab/SyntheticMVars.c Lean/Elab/Tactic.c Lean/Elab/Tactic/Basic.c Lean/Elab/Tactic/ElabTerm.c Lean/Elab/Tactic/Generalize.c Lean/Elab/Tactic/Induction.c Lean/Elab/Tactic/Injection.c Lean/Elab/Tactic/Location.c Lean/Elab/Tactic/Match.c Lean/Elab/Tactic/Rewrite.c Lean/Elab/Tactic/Simp.c Lean/Elab/Term.c Lean/Elab/Util.c Lean/Environment.c Lean/Eval.c Lean/Exception.c Lean/Expr.c Lean/HeadIndex.c Lean/Hygiene.c Lean/InternalExceptionId.c Lean/KeyedDeclsAttribute.c Lean/Level.c Lean/LocalContext.c Lean/Message.c Lean/Meta.c Lean/Meta/AbstractMVars.c Lean/Meta/AbstractNestedProofs.c Lean/Meta/AppBuilder.c Lean/Meta/Basic.c Lean/Meta/Check.c Lean/Meta/Closure.c Lean/Meta/Coe.c Lean/Meta/CollectMVars.c Lean/Meta/DiscrTree.c Lean/Meta/DiscrTreeTypes.c Lean/Meta/ExprDefEq.c Lean/Meta/ForEachExpr.c Lean/Meta/FunInfo.c Lean/Meta/GeneralizeTelescope.c Lean/Meta/GetConst.c Lean/Meta/Inductive.c Lean/Meta/InferType.c Lean/Meta/Instances.c Lean/Meta/KAbstract.c Lean/Meta/LevelDefEq.c Lean/Meta/Match.c Lean/Meta/Match/Basic.c Lean/Meta/Match/CaseArraySizes.c Lean/Meta/Match/CaseValues.c Lean/Meta/Match/MVarRenaming.c Lean/Meta/Match/Match.c Lean/Meta/Match/MatchPatternAttr.c Lean/Meta/Match/MatcherInfo.c Lean/Meta/MatchUtil.c Lean/Meta/Offset.c Lean/Meta/PPGoal.c Lean/Meta/RecursorInfo.c Lean/Meta/Reduce.c Lean/Meta/ReduceEval.c Lean/Meta/SizeOf.c Lean/Meta/SortLocalDecls.c Lean/Meta/SynthInstance.c Lean/Meta/Tactic.c Lean/Meta/Tactic/Apply.c Lean/Meta/Tactic/Assert.c Lean/Meta/Tactic/Assumption.c Lean/Meta/Tactic/AuxLemma.c Lean/Meta/Tactic/Cases.c Lean/Meta/Tactic/Clear.c Lean/Meta/Tactic/Constructor.c Lean/Meta/Tactic/Contradiction.c Lean/Meta/Tactic/Delta.c Lean/Meta/Tactic/ElimInfo.c Lean/Meta/Tactic/FVarSubst.c Lean/Meta/Tactic/Generalize.c Lean/Meta/Tactic/Induction.c Lean/Meta/Tactic/Injection.c Lean/Meta/Tactic/Intro.c Lean/Meta/Tactic/Replace.c Lean/Meta/Tactic/Revert.c Lean/Meta/Tactic/Rewrite.c Lean/Meta/Tactic/Simp.c Lean/Meta/Tactic/Simp/CongrLemmas.c Lean/Meta/Tactic/Simp/Main.c Lean/Meta/Tactic/Simp/Rewrite.c Lean/Meta/Tactic/Simp/SimpAll.c Lean/Meta/Tactic/Simp/SimpLemmas.c Lean/Meta/Tactic/Simp/Types.c Lean/Meta/Tactic/Subst.c Lean/Meta/Tactic/Util.c Lean/Meta/Transform.c Lean/Meta/TransparencyMode.c Lean/Meta/UnificationHint.c Lean/Meta/WHNF.c Lean/MetavarContext.c Lean/Modifiers.c Lean/MonadEnv.c Lean/Parser.c Lean/Parser/Attr.c Lean/Parser/Basic.c Lean/Parser/Command.c Lean/Parser/Do.c Lean/Parser/Extension.c Lean/Parser/Extra.c Lean/Parser/Level.c Lean/Parser/Module.c Lean/Parser/StrInterpolation.c Lean/Parser/Syntax.c Lean/Parser/Tactic.c Lean/Parser/Term.c Lean/ParserCompiler.c Lean/ParserCompiler/Attribute.c Lean/PrettyPrinter.c Lean/PrettyPrinter/Basic.c Lean/PrettyPrinter/Delaborator.c Lean/PrettyPrinter/Delaborator/Basic.c Lean/PrettyPrinter/Delaborator/Builtins.c Lean/PrettyPrinter/Formatter.c Lean/PrettyPrinter/Parenthesizer.c Lean/ProjFns.c Lean/ReducibilityAttrs.c Lean/ResolveName.c Lean/Runtime.c Lean/ScopedEnvExtension.c Lean/Server.c Lean/Server/AsyncList.c Lean/Server/FileSource.c Lean/Server/FileWorker.c Lean/Server/InfoUtils.c Lean/Server/Snapshots.c Lean/Server/Utils.c Lean/Server/Watchdog.c Lean/Structure.c Lean/Syntax.c Lean/ToExpr.c Lean/Util.c Lean/Util/CollectFVars.c Lean/Util/CollectLevelParams.c Lean/Util/CollectMVars.c Lean/Util/Constructions.c Lean/Util/FindExpr.c Lean/Util/FindMVar.c Lean/Util/FoldConsts.c Lean/Util/ForEachExpr.c Lean/Util/MonadCache.c Lean/Util/OccursCheck.c Lean/Util/PPExt.c Lean/Util/Path.c Lean/Util/Profile.c Lean/Util/RecDepth.c Lean/Util/Recognizers.c Lean/Util/ReplaceExpr.c Lean/Util/ReplaceLevel.c Lean/Util/SCC.c Lean/Util/Sorry.c Lean/Util/Trace.c )
set_target_properties(Lean PROPERTIES ARCHIVE_OUTPUT_DIRECTORY "${CMAKE_BINARY_DIR}/lib/lean")
