diff options
Diffstat (limited to 'make/lib/make-library.sh')
-rw-r--r-- | make/lib/make-library.sh | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/make/lib/make-library.sh b/make/lib/make-library.sh deleted file mode 100644 index a486a7bf740c..000000000000 --- a/make/lib/make-library.sh +++ /dev/null @@ -1,28 +0,0 @@ -. $stdenv/setup - -objs= -for i in $objects; do - obj=$(echo $i/*.o) - objs="$objs $obj" -done - -echo "archiving object files into library \`$libraryName'..." - -ensureDir $out - -if test -z "$sharedLib"; then - - outPath=$out/lib${libraryName}.a - - ar crs $outPath $objs - ranlib $outPath - -else - - outPath=$out/lib${libraryName}.so - - gcc -shared -o $outPath $objs - -fi - - |