ocaml-topkg (2930B)
1 #!/usr/bin/env pthbs-build 2 #+busybox.d2d7aa00eac6ec561a10d126b1866f22e226a1276307466251e80fd8a4a1ebc7 3 #+busybox-findutils.85b2328981df683d1ae7597eebdf3a332aa4241b936c0030fe3618cec1f4841a 4 #+busybox-awk.4c3f8cc249ba35f1206fcaf2979bcfd66d09b117eeea4e6a939024825a542496 5 #+busybox-diffutils.24775f761d337796ffe81623350e4bf2f039067f593411146bfeb9c80567d182 6 #+musl-cross-make.e4735d8572f9b6654a7381ebdfbd62e665d1d1da5e06a56923e89274cc6a510f 7 #+ocaml.a604427fdad1fc3adfb39b93cce894b4d525cb8c8d9933a4a7e69f2fa9b3a605 8 #+ocaml-findlib.c68b7438793535371df386dab2caaf846b4b957a713708502a254b13d76eff50 9 #+ocamlbuild.a64c7b5658b13dffe7daa77a1b350b6e73de7877c85fe3474b72c950fee31967 10 #+opam.a170171d3fb8bdb854e2f99fe8e1ecc9f39f41974af390922802f5f1ca634248 11 #@untar:-j:sha256:452082626e651ac4b1633c2b4ae4cad7abeb1fb6a13046e699f95eec58b5d1c7:. 12 13 14 # - build script start - 15 16 prefix=/home/ccx/versions/$pthbs_package 17 dest=${pthbs_destdir%/}${prefix} 18 cd 'topkg-1.0.5' 19 20 21 22 ocaml -I "$OCAMLPATH" pkg/pkg.ml build --dev-pkg true 23 24 25 opam-installer -i \ 26 --prefix="$dest" \ 27 --libdir="$dest/library.ocaml" \ 28 --mandir="$dest/man" \ 29 --docdir="$dest/doc/ocaml-topkg" 30 31 32 33 34 35 cd "$pthbs_destdir/home/ccx/versions/$pthbs_package" 36 find -type d -o -print | awk -F/ ' 37 BEGIN { 38 39 x["./library.ocaml/topkg/META"]=1 40 x["./library.ocaml/topkg/topkg.a"]=1 41 x["./library.ocaml/topkg/topkg.cma"]=1 42 x["./library.ocaml/topkg/topkg.cmi"]=1 43 x["./library.ocaml/topkg/topkg.cmti"]=1 44 x["./library.ocaml/topkg/topkg.cmx"]=1 45 x["./library.ocaml/topkg/topkg.cmxa"]=1 46 x["./library.ocaml/topkg/topkg.mli"]=1 47 } 48 49 function r1(s) { 50 sub("^[.]/[^/]*", ".", s) 51 return s 52 } 53 function s1(repl, s) { 54 sub("^[.]/[^/]*", "./"repl, s) 55 return s 56 } 57 function link(src) { 58 x[$0]=0 59 printf "%s\t%s\n", $0, src 60 printf "genlinks >>%s\t%s<<\n", $0, src >>"/dev/stderr" 61 } 62 $1!="."{exit 1} 63 64 65 $2 == "library.ocaml" { link($0); next } 66 67 $2 == "config" { link($0); next } 68 $2 == "keys" { link($0); next } 69 $2 == "zsh" { link($0); next } 70 $2 == "env" { link($0); next } 71 $2 == "command" { link($0); next } 72 $2 == "bin" { link(s1("command", $0)); next } 73 74 $2 == "library.so" { link($0); next } 75 $2 == "library" { link($0); next } 76 $2 == "lib" && $NF ~ /\.l?a$/ { link(s1("library", $0)); next } 77 $2 == "lib" && $NF ~ /\.so(\..*)?$/ { link(s1("library.so", $0)); next } 78 79 $2 == "share" && $3 ~ /^(info|man|doc|icons|terminfo)$/ { link(r1($0)); next } 80 81 $2 == "man" { link($0); next } 82 $2 == "info" { link($0); next } 83 $2 == "doc" { link($0); next } 84 $2 == "icons" { link($0); next } 85 $2 == "terminfo" { link($0); next } 86 $2 == "data" { link($0); next } 87 $2 == "include" { link($0); next } 88 89 { printf "genlinks ##%s## skipped\n", $0 >>"/dev/stderr" } 90 91 END { 92 for(fname in x) { printf "DEBUG: x[\"%s\"]=\"%s\"\n", fname, x[fname] >"/dev/stderr" } 93 for(fname in x) { 94 if(x[fname]) { 95 printf "ERROR: missing expected file \"%s\"\n", fname >"/dev/stderr" 96 exit 3 97 } 98 } 99 }' >.install-links.new 100 mv .install-links.new .install-links 101