Plasma GitLab Archive
Projects Blog Knowledge

#! /bin/sh

set -e

stdlib=`ocamlc -where`

for dll in "$@"; do
  { found=0
    while read line; do
      if [ -f "$line/$dll" ]; then
        echo "$line/$dll"
        found=1
        break
      fi
    done;
    if [ $found -eq 0 ]; then
      echo "Not found: $dll" >&2
      exit 1
    fi
  } < $stdlib/ld.conf
done

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml