st/pass_strategy_synthesis
1
0
Fork 0
mirror of https://github.com/ProgramSnail/pass_strategy_synthesis.git synced 2026-03-12 02:57:09 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

remove old relational interpreter version (was not fixed)

Browse source
This commit is contained in:
ProgramSnail 2026-02-15 18:56:35 +00:00
parent 5af2728354
commit 9d2f508291
2 changed files with 0 additions and 392 deletions
Download patch file Download diff file Expand all files Collapse all files

44
lib/dune
View file

@ -44,27 +44,6 @@
-pp
lib/pp5+gt+plugins+ocanren+dump.exe)))
(library
(name relational_semantic_interpreter)
(modules relational_semantic_interpreter)
(flags
; (-dsource)
(:standard -rectypes))
(libraries OCanren OCanren.tester)
(preprocessor_deps ./pp5+gt+plugins+ocanren+dump.exe)
(wrapped false)
(preprocess
(pps
OCanren-ppx.ppx_repr
OCanren-ppx.ppx_deriving_reify
OCanren-ppx.ppx_fresh
GT.ppx
GT.ppx_all
OCanren-ppx.ppx_distrib
--
-pp
lib/pp5+gt+plugins+ocanren+dump.exe)))
(library
(name relational_semantic_interpreter_oc)
(modules relational_semantic_interpreter_oc)
@ -86,29 +65,6 @@
-pp
lib/pp5+gt+plugins+ocanren+dump.exe)))
; (library
; (name test)
; (modules test)
; (flags
; (-dsource)
; (:standard -rectypes))
; (libraries OCanren OCanren.tester)
; (preprocessor_deps ./pp5+gt+plugins+ocanren+dump.exe)
; (wrapped false)
; (preprocess
; (pps
; ppx_expect
; ppx_inline_test
; GT.ppx
; GT.ppx_all
; OCanren-ppx.ppx_repr
; OCanren-ppx.ppx_deriving_reify
; OCanren-ppx.ppx_fresh
; OCanren-ppx.ppx_distrib
; --
; -pp
; lib/pp5+gt+plugins+ocanren+dump.exe)))
(rule
(targets pp5+gt+plugins+ocanren+dump.exe)
(action