2b905abd02
CDuce is an XML centric programming language result of a joint research project on XML, semantic subtyping, databases and efficient tree automata. Despite its XML orientation, it is also generalist. PR: 82117 Submitted by: Marwan Burelle <marwan.burelle (at) lri.fr>
9 lines
369 B
Bash
9 lines
369 B
Bash
#!/bin/sh
|
|
|
|
if [ "$2" = "POST-INSTALL" ]; then
|
|
echo "${PKG_PREFIX}/lib/ocaml/site-lib/cduce" >> ${PKG_PREFIX}/lib/ocaml/ld.conf
|
|
elif [ "$2" = "DEINSTALL" ]; then
|
|
mv ${PKG_PREFIX}/lib/ocaml/ld.conf ${PKG_PREFIX}/lib/ocaml/ld.conf.tmp
|
|
grep -v cduce ${PKG_PREFIX}/lib/ocaml/ld.conf.tmp > ${PKG_PREFIX}/lib/ocaml/ld.conf
|
|
rm -f ${PKG_PREFIX}/lib/ocaml/ld.conf.tmp
|
|
fi
|