diff options
author | Mikayla Hutchinson <m.j.hutchinson@gmail.com> | 2019-01-16 05:53:37 +0300 |
---|---|---|
committer | Mikayla Hutchinson <m.j.hutchinson@gmail.com> | 2019-01-16 05:53:37 +0300 |
commit | 78a8f95819f579a96ce1dd8a55c9f5f1a7e9aae5 (patch) | |
tree | 9b29dab5aeb30a7ca2a85083a6f00c2434b8d046 /configure | |
parent | 3f1be30cc19bbefbdd46c4151c2b38f8acf52c6f (diff) |
Remove redundant build infrastructure
The old autotools build infrastructure is largely redundant,
as projects are now built with msbuild. Remove as much as can
be done easily, along with some other obsolete stuff.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 12 |
1 files changed, 3 insertions, 9 deletions
@@ -64,7 +64,7 @@ usage () echo " add a profile, simply create a file in the 'profiles' directory." echo " The 'default' profile is used when none is specified." echo "" - echo " Profiles available:" $profiles + echo " Profiles available:" $profiles echo "" } @@ -97,7 +97,7 @@ select_packages () done pcount=$n while [[ 1 ]] - do + do echo Select the packages to include in the build for the profile \'$profile\': echo n=1 @@ -229,7 +229,7 @@ create_local_config () pcfile=`echo $f | sed s,.*/,, | sed s/\.in$//` sed -e s,libdir=.*,libdir=$builddir, -e s/@VERSION@/$ver/g $f> local-config/$pcfile done - + # Generate the .addins file for the package addins=local-config/`echo $path | sed s,/,_,g`.addins echo "<Addins>" > $addins @@ -281,12 +281,6 @@ while test x$1 != x; do shift done -# make the build & run use libraries already installed in $PREFIX -if [ -d "$prefix" ]; then - export MONO_GAC_PREFIX=$prefix:$MONO_GAC_PREFIX - export PKG_CONFIG_PATH=$prefix/lib/pkgconfig:$prefix/share/pkgconfig:$PKG_CONFIG_PATH -fi - if test `uname` = "Darwin" && test "x$profile" = "xdefault"; then profile="mac" fi |