mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-26 05:02:18 +00:00
f09bedf830
- In the past, this port was incorrectly added to multimedia category even though it already existed in graphics category. Therefore, it was removed. - Now, this port is being moved to multimedia category since it should reside there. However, we cannot do the usual repo copy since there are repo histories in both categories. - What to do? 1) 'cvs checkout' both the graphics and the multimedia versions of the port. 2) 'cp' copy the files from the graphics version to the multimedia one. 3) 'cvs commit' the copied version from graphics with a long commit message explaining the situation o Appropriately update dependency references from graphics to multimedia category Port creator: ijlao Date created: Aug 8, 2002
16 lines
502 B
Bash
16 lines
502 B
Bash
--- ltmain.sh.orig Tue Jan 8 03:30:35 2002
|
|
+++ ltmain.sh Mon Sep 16 21:54:46 2002
|
|
@@ -4247,10 +4247,12 @@
|
|
fi
|
|
|
|
# Install the pseudo-library for information purposes.
|
|
+ if /usr/bin/false; then
|
|
name=`$echo "X$file" | $Xsed -e 's%^.*/%%'`
|
|
instname="$dir/$name"i
|
|
$show "$install_prog $instname $destdir/$name"
|
|
$run eval "$install_prog $instname $destdir/$name" || exit $?
|
|
+ fi
|
|
|
|
# Maybe install the static library, too.
|
|
test -n "$old_library" && staticlibs="$staticlibs $dir/$old_library"
|