-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathgprolog-mingw.nuspec
70 lines (61 loc) · 3.62 KB
/
gprolog-mingw.nuspec
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
<?xml version="1.0" encoding="utf-8"?>
<package xmlns="http://schemas.microsoft.com/packaging/2015/06/nuspec.xsd">
<metadata>
<id>gprolog-mingw</id>
<version>1.5.0</version>
<packageSourceUrl>https://github.com/jakublevy/chocopkgs/tree/master/gprolog-mingw</packageSourceUrl>
<owners>Jakub Levý</owners>
<title>GNU Prolog (compiled with MinGW)</title>
<authors>Daniel Diaz</authors>
<projectUrl>http://www.gprolog.org</projectUrl>
<iconUrl>https://cdn.jsdelivr.net/gh/jakublevy/chocopkgs/icons/gprolog.png</iconUrl>
<copyright>Copyright (C) 1999-2021 Daniel Diaz </copyright>
<licenseUrl>http://www.gprolog.org/manual/html_node/gprolog003.html</licenseUrl>
<requireLicenseAcceptance>true</requireLicenseAcceptance>
<projectSourceUrl>https://sourceforge.net/p/gprolog/code/ci/master/tree/</projectSourceUrl>
<docsUrl>http://www.gprolog.org/manual/gprolog.html</docsUrl>
<mailingListUrl>http://www.gprolog.org/#maillist</mailingListUrl>
<bugTrackerUrl>http://www.gprolog.org/#bug</bugTrackerUrl>
<tags>prolog solver prover constraint logic programming language gnu</tags>
<summary>GNU Prolog is a free Prolog compiler with constraint solving over finite domains.</summary>
<description>
**NOTE:** This package installs a version compiled with MinGW. The version compiled with MSVC is available as [gprolog-msvc](https://community.chocolatey.org/packages/gprolog-msvc) package.
**NOTE:** The following text is for the most part an excerpt from [the official website](http://www.gprolog.org).
# GNU Prolog
GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by [Daniel Diaz](https://cri-dist.univ-paris1.fr/diaz).
GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of this executable can be quite small since GNU Prolog can avoid to link the code of most unused built-in predicates. The performances of GNU Prolog are very encouraging (comparable to commercial systems).
Beside the native-code compilation, GNU Prolog offers a classical interactive interpreter (top-level) with a debugger.
The Prolog part conforms to the ISO standard for Prolog with many extensions very useful in practice (global variables, OS interface, sockets,...).
GNU Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming.
## Installation Parameters
* `/InstallationPath:` - where to install the binaries
- Default value: `"$env:SystemDrive\GNU-Prolog"`
* `/CreateDesktopIcon` - creates a desktop icon
- Not created by default
* `/AssocPl` - associates GNU Prolog as the default app for *.pl files
- Not associated by default
* `/AssocPro` - associates GNU Prolog as the default app for *.pro files
- Not associated by default
* `/AssocProlog` - associates GNU Prolog as the default app for *.prolog files
- Not associated by default
### Examples
* Install into `D:\gprolog` directory
```
choco install gprolog-mingw --params "/InstallationPath:D:\gprolog"
```
* Install with all file associations
```
choco install gprolog-mingw --params "'/AssocPl /AssocPro /AssocProlog'"
```
* Install and create desktop icon
```
choco install gprolog-mingw --params "/CreateDesktopIcon"
```
</description>
<releaseNotes>http://www.gprolog.org/NEWS</releaseNotes>
</metadata>
<files>
<file src="tools\**" target="tools" />
<file src="legal\**" target="legal" />
</files>
</package>