diff --git a/.gitignore b/.gitignore index 52e5c73..ff631a6 100644 --- a/.gitignore +++ b/.gitignore @@ -63,3 +63,6 @@ typings/ # gyp intermediate files *.gypi + +# Xcode-generated +.build/ diff --git a/Package.swift b/Package.swift new file mode 100644 index 0000000..0791cdb --- /dev/null +++ b/Package.swift @@ -0,0 +1,31 @@ +// swift-tools-version:5.3 +import PackageDescription + +let package = Package( + name: "TreeSitterAgda", + platforms: [.macOS(.v10_13), .iOS(.v11)], + products: [ + .library(name: "TreeSitterAgda", targets: ["TreeSitterAgda"]), + ], + dependencies: [], + targets: [ + .target(name: "TreeSitterAgda", + path: ".", + exclude: [ + "binding.gyp", + "corpus", + "grammar.js", + "LICENSE", + "package.json", + "README.md", + "src/grammar.json", + "src/node-types.json", + ], + sources: [ + "src/parser.c", + "src/scanner.cc", + ], + publicHeadersPath: "bindings/swift", + cSettings: [.headerSearchPath("src")]) + ] +) diff --git a/bindings/swift/TreeSitterAgda/agda.h b/bindings/swift/TreeSitterAgda/agda.h new file mode 100644 index 0000000..d45755f --- /dev/null +++ b/bindings/swift/TreeSitterAgda/agda.h @@ -0,0 +1,16 @@ +#ifndef TREE_SITTER_AGDA_H_ +#define TREE_SITTER_AGDA_H_ + +typedef struct TSLanguage TSLanguage; + +#ifdef __cplusplus +extern "C" { +#endif + +extern TSLanguage *tree_sitter_agda(); + +#ifdef __cplusplus +} +#endif + +#endif // TREE_SITTER_AGDA_H_