lean4-htt/examples/bootstrap/package.lean
2021-07-28 10:20:42 -04:00

15 lines
294 B
Text

import Lake.Package
open Lake System
def package : PackageConfig := {
name := "lake"
version := "2.0-pre-bootstrap"
rootDir := FilePath.mk ".." / ".."
oleanDir := defaultBuildDir
linkArgs :=
if Platform.isWindows then
#["-Wl,--export-all"]
else
#["-rdynamic"]
}