From 62a631a065293a60f93e90b73a156fe8fc8ec756 Mon Sep 17 00:00:00 2001 From: Alexis THOMAS Date: Fri, 5 Jun 2020 07:29:03 +0200 Subject: [PATCH] Update to GnuWin32.Make (#1557) (before delete previous) --- manifests/GnuWin32/Make/3.81.yaml | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 manifests/GnuWin32/Make/3.81.yaml diff --git a/manifests/GnuWin32/Make/3.81.yaml b/manifests/GnuWin32/Make/3.81.yaml new file mode 100644 index 000000000..49ce42afa --- /dev/null +++ b/manifests/GnuWin32/Make/3.81.yaml @@ -0,0 +1,14 @@ +Id: GnuWin32.Make +Version: 3.81 +Name: Make for Windows +Publisher: GnuWin32 +License: GnuWin License +LicenseUrl: http://gnuwin32.sourceforge.net/license.html +Tags: make, gnuwin32 +Description: Make is a tool which controls the generation of executables and other non-source files of a program from the program's source files. Make gets its knowledge of how to build your program from a file called the makefile, which lists each of the non-source files and how to compute it from other files. When you write a program, you should write a makefile for it, so that it is possible to use Make to build and install the program. +Homepage: http://gnuwin32.sourceforge.net/packages/make.htm +Installers: + - Arch: x86 + Url: https://downloads.sourceforge.net/gnuwin32/make-3.81.exe + Sha256: CC55115C78A16386587C6EB90DD35E6DE820191B83A6B3058460E5661F457E3F + InstallerType: Inno