this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #24942 from MSoegtropIMC/ott-windows

ott: fix for building on Windows (without symlink)

authored by

Marcello Seri and committed by
GitHub
b9457ef4 0c4bfc66

+5
+2
packages/ott/ott.0.32/opam
··· 14 14 build: [ 15 15 [make "world"] 16 16 [make "ott.install"] 17 + ["rm" "src/ott"] { os = "win32" } 18 + ["cp" "src/ott.opt" "src/ott"] { os = "win32" } 17 19 ] 18 20 run-test: [ 19 21 [make "-C" "tests/menhir_tests/test_if"]
+3
packages/ott/ott.0.33/opam
··· 15 15 build: [ 16 16 [make "world"] { ocaml:native } 17 17 [make "world.byt"] { !ocaml:native } 18 + ["rm" "src/ott"] {os = "win32"} 19 + ["cp" "src/ott.opt" "src/ott"] {os = "win32" & ocaml:native} 20 + ["cp" "src/ott.byte" "src/ott"] {os = "win32" & !ocaml:native} 18 21 [make "ott.install"] 19 22 ] 20 23 run-test: [