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 /profiles | |
| 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 'profiles')
| -rw-r--r-- | profiles/all | 2 | ||||
| -rw-r--r-- | profiles/core | 2 | ||||
| -rw-r--r-- | profiles/dist | 2 | ||||
| -rw-r--r-- | profiles/gnome | 1 | ||||
| -rw-r--r-- | profiles/mac | 2 | ||||
| -rw-r--r-- | profiles/stable | 1 | ||||
| -rw-r--r-- | profiles/vala | 2 | ||||
| -rw-r--r-- | profiles/windows | 2 |
8 files changed, 3 insertions, 11 deletions
diff --git a/profiles/all b/profiles/all deleted file mode 100644 index 403cde001c..0000000000 --- a/profiles/all +++ /dev/null @@ -1,2 +0,0 @@ -main -extras/MonoDevelop.Database diff --git a/profiles/core b/profiles/core deleted file mode 100644 index 403cde001c..0000000000 --- a/profiles/core +++ /dev/null @@ -1,2 +0,0 @@ -main -extras/MonoDevelop.Database diff --git a/profiles/dist b/profiles/dist deleted file mode 100644 index 403cde001c..0000000000 --- a/profiles/dist +++ /dev/null @@ -1,2 +0,0 @@ -main -extras/MonoDevelop.Database diff --git a/profiles/gnome b/profiles/gnome new file mode 100644 index 0000000000..062b34b883 --- /dev/null +++ b/profiles/gnome @@ -0,0 +1 @@ +main --enable-gnomeplatform
\ No newline at end of file diff --git a/profiles/mac b/profiles/mac index 879f24ce13..608272b877 100644 --- a/profiles/mac +++ b/profiles/mac @@ -1 +1 @@ -main --disable-update-mimedb --disable-update-desktopdb --disable-gnomeplatform --enable-macplatform --enable-tests
\ No newline at end of file +main --enable-macplatform
\ No newline at end of file diff --git a/profiles/stable b/profiles/stable deleted file mode 100644 index ba2906d066..0000000000 --- a/profiles/stable +++ /dev/null @@ -1 +0,0 @@ -main diff --git a/profiles/vala b/profiles/vala deleted file mode 100644 index 39647d105b..0000000000 --- a/profiles/vala +++ /dev/null @@ -1,2 +0,0 @@ -main -extras/ValaBinding diff --git a/profiles/windows b/profiles/windows index 0f8df3c64e..caec75382e 100644 --- a/profiles/windows +++ b/profiles/windows @@ -1 +1 @@ -main --disable-subversion --disable-update-mimedb --disable-update-desktopdb --disable-gnomeplatform --enable-windowsplatform +main --enable-windowsplatform
\ No newline at end of file |