Merge pull request #11544 from jpdeplaix/llopt.1.0.0

Add llopt.1.0.0
ocaml · Mar 12, 2018 · d2f833f · d2f833f
2 parents 5cce30b + d73fc20
commit d2f833f
Show file tree

Hide file tree

Showing 3 changed files with 20 additions and 0 deletions.
diff --git a/packages/llopt/llopt.1.0.0/descr b/packages/llopt/llopt.1.0.0/descr
@@ -0,0 +1,4 @@
+Just a tiny LLVM-IR optimizer for testing stuff.
+
+This program just takes a LLVM-IR file (.ll) as input and dumps
+the optimized LLVM-IR module in the standard output.
diff --git a/packages/llopt/llopt.1.0.0/opam b/packages/llopt/llopt.1.0.0/opam
@@ -0,0 +1,14 @@
+opam-version: "1.2"
+license: "MIT"
+maintainer: "Kate <[email protected]>"
+authors: "Kate <[email protected]>"
+homepage: "https://github.com/jpdeplaix/llopt"
+dev-repo: "git://github.com/jpdeplaix/llopt.git"
+bug-reports: "https://github.com/jpdeplaix/llopt/issues"
+tags: ["llvm" "optimization" "test" "testing" "compiler"]
+build: ["jbuilder" "build" "-p" "llopt"]
+depends: [
+  "jbuilder" {build}
+  "llvm" {>= "3.5"}
+  "cmdliner"
+]
diff --git a/packages/llopt/llopt.1.0.0/url b/packages/llopt/llopt.1.0.0/url
@@ -0,0 +1,2 @@
+archive: "https://github.com/jpdeplaix/llopt/archive/1.0.0.tar.gz"
+checksum: "4be341b6663b6ad37f32ba45274c38cc"
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		archive: "https://github.com/jpdeplaix/llopt/archive/1.0.0.tar.gz"
		checksum: "4be341b6663b6ad37f32ba45274c38cc"