Something went wrong. Try again.
forked from gbury/dolmen
Something went wrong. Try again.
12345678910111213141516171819202122232425262728
; Check that the doc still builds(mdx (package dolmen_loop) (deps example.smt2 typing_error.smt2) (libraries dolmen ; a lot of dolmen dolmen_intf dolmen_std dolmen_line ; typing & loop dolmen_type dolmen_loop ; Dolmen languages dolmen_ae dolmen_dimacs dolmen_icnf dolmen_zf ; tptp dolmen_tptp dolmen_tptp_v6_3_0 ; smtlib2 dolmen_smtlib2 dolmen_smtlib2_poly dolmen_smtlib2_v6 dolmen_smtlib2_v6_script dolmen_smtlib2_v6_response dolmen_smtlib2_v7 dolmen_smtlib2_v7_script dolmen_smtlib2_v7_response ; Dolmen classes dolmen_class ) ; mdx support for windows is not yet perfect, ; see e.g. https://github.com/realworldocaml/mdx/issues/295 ; thus we disable mdx inder windows for now (enabled_if (= %{os_type} Unix)))