remove ppx for now

imandra-ai · Jun 10, 2023 · d95bbf1 · d95bbf1
1 parent 21bdfcc
commit d95bbf1
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 88 deletions.
diff --git a/README.md b/README.md
@@ -98,18 +98,3 @@ and display something like this: ![tracy screenshot](screen1.png)
   In that case, `Tracy_client_trace.setup()` needs to be called at the beginning
   of the program.
 
-## Instrumentation
-
-Using dune and `tracy-ppx`, it should be possible to pick instrumentation at build time.
-In your library, add `(instrumentation (backend tracy-client))`.
-
-Then build with:
-
-```
-$ dune build --instrument-with tracy-client path/to/your_binary.exe
-```
-
-and it will automatically enable tracy-client.
-
-**TODO**: there is currently no way to conditionally add spans
-in the instrumentation.
diff --git a/dune-project b/dune-project
@@ -16,15 +16,3 @@
     (ocaml (>= 4.08))
     trace)
   (synopsis "Client bindings to the Tracy profiler (v0.9.1)"))
-
-(package
-  (name tracy-ppx)
-  (license BSD-3-Clause)
-  (maintainers "Simon Cruanes")
-  (authors "Simon Cruanes")
-  (depends
-    (ocaml (>= 4.08))
-    (tracy-client (= :version))
-    ppxlib
-  )
-  (synopsis "Instrumentation backend for `tracy-client`"))
diff --git a/src/ppx/dune b/src/ppx/dune
diff --git a/src/ppx/tracy_ppx.ml b/src/ppx/tracy_ppx.ml
diff --git a/tracy-ppx.opam b/tracy-ppx.opam