refactor: rename 'ext' example to 'ffi'

leanprover · Jul 27, 2021 · 71defa0 · 71defa0
1 parent ae181f0
commit 71defa0
Show file tree

Hide file tree

Showing 8 changed files with 10 additions and 10 deletions.
diff --git a/examples/ext/.gitignore → examples/ffi/.gitignore b/examples/ext/.gitignore → examples/ffi/.gitignore
diff --git a/examples/ext/README.md → examples/ffi/README.md b/examples/ext/README.md → examples/ffi/README.md
diff --git a/examples/ext/ext/add.cpp → examples/ffi/c/add.cpp b/examples/ext/ext/add.cpp → examples/ffi/c/add.cpp
diff --git a/examples/ext/clean.sh → examples/ffi/clean.sh b/examples/ext/clean.sh → examples/ffi/clean.sh
diff --git a/examples/ext/lib/Add.lean → examples/ffi/lib/Add.lean b/examples/ext/lib/Add.lean → examples/ffi/lib/Add.lean
diff --git a/examples/ext/package.lean → examples/ffi/package.lean b/examples/ext/package.lean → examples/ffi/package.lean
@@ -2,32 +2,32 @@ import Lake.Build
 import Lake.Package
 open Lake System
 
-def extDir : FilePath := "ext"
-def addSrc := extDir / "add.cpp"
+def cDir : FilePath := "c"
+def addSrc := cDir / "add.cpp"
 
 def buildDir := defaultBuildDir
-def addO := buildDir / extDir / "add.o"
-def extLib := buildDir / extDir / "libext.a"
+def addO := buildDir / cDir / "add.o"
+def cLib := buildDir / cDir / "libadd.a"
 
 def fetchAddOTarget : IO ActiveFileTarget := do
   skipIfNewer addO (← getMTime addSrc) <|
     BuildTask.spawn <| compileO addO addSrc (cmd := "c++")
 
-def fetchExtLibTarget : IO ActiveFileTarget := do
+def fetchCLibTarget : IO ActiveFileTarget := do
   let oTarget ← fetchAddOTarget
-  skipIfNewer extLib oTarget.mtime <|
-    oTarget >> compileStaticLib extLib #[addO]
+  skipIfNewer cLib oTarget.mtime <|
+    oTarget >> compileStaticLib cLib #[addO]
 
 def package : PackageConfig := {
-  name := "ext"
+  name := "ffi"
   version := "0.1"
   -- customize layout
   srcDir := "lib"
   moduleRoot := `Add
   binName := "add"
   -- specify path to the lib for linker
-  linkArgs := #[extLib.toString]
+  linkArgs := #[cLib.toString]
   -- specify the lib target as an additional dependency
-  buildMoreDepsTarget := fetchExtLibTarget.map fun target =>
+  buildMoreDepsTarget := fetchCLibTarget.map fun target =>
     LeanTarget.fromMTimeTarget <| target.discardArtifact
 }
diff --git a/examples/ext/package.sh → examples/ffi/package.sh b/examples/ext/package.sh → examples/ffi/package.sh
diff --git a/examples/ext/test.sh → examples/ffi/test.sh b/examples/ext/test.sh → examples/ffi/test.sh