anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

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

Undo llvm changes

Marek Kubica 05e64d5b 30bfc1dd

+10 -4
+3 -1
packages/llvm/llvm.15.0.7+nnp-2/opam
··· 21 21 ] 22 22 build: [ 23 23 ["./setup.sh" conf-llvm:config] 24 - ["dune" "build" "-p" name "-j" jobs "@install"] 24 + ["dune" "build" "--release" "-j" jobs] 25 + ["rm" "%{name}%.install"] 25 26 ] 27 + install: ["./install.sh" prefix] 26 28 dev-repo: "git+https://github.com/alan-j-hu/llvm-dune.git" 27 29 url { 28 30 src:
+3 -1
packages/llvm/llvm.15.0.7+nnp-3/opam
··· 21 21 ] 22 22 build: [ 23 23 ["./setup.sh" conf-llvm:config] 24 - ["dune" "build" "-p" name "-j" jobs "@install"] 24 + ["dune" "build" "--release" "-j" jobs] 25 + ["rm" "%{name}%.install"] 25 26 ] 27 + install: ["./install.sh" prefix] 26 28 dev-repo: "git+https://github.com/alan-j-hu/llvm-dune.git" 27 29 url { 28 30 src:
+3 -1
packages/llvm/llvm.16.0.6+nnp/opam
··· 21 21 ] 22 22 build: [ 23 23 ["./setup.sh" conf-llvm:config] 24 - ["dune" "build" "-p" name "-j" jobs "@install"] 24 + ["dune" "build" "--release" "-j" jobs] 25 + ["rm" "%{name}%.install"] 25 26 ] 27 + install: ["./install.sh" prefix] 26 28 dev-repo: "git+https://github.com/alan-j-hu/llvm-dune.git" 27 29 url { 28 30 src:
+1 -1
packages/llvm/llvm.17.0.6/opam
··· 21 21 ] 22 22 build: [ 23 23 ["./setup.sh" conf-llvm:config] 24 - ["dune" "build" "-p" name "-j" jobs] 24 + ["dune" "build" "--release" "-j" jobs] 25 25 ["rm" "%{name}%.install"] 26 26 ] 27 27 install: ["./install.sh" prefix]