diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-17 04:02:28 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-17 04:02:28 +0100 |
commit | 9ed594ec27405e38548d6efd6fe28a4dabf0fb41 (patch) | |
tree | c1fdf80bd1b65056d5216b9cdda2e3fccc958c1a /reproduce/software/config/LOCAL.conf.in | |
parent | f4d998a36d6777164147b848b0ac4747c38067cf (diff) | |
parent | 8eb0892e179b4970a9835d29b5f57dd912ca4464 (diff) |
Imported recent work in Maneage, minor conflicts fixed
A few minor conflicts came up that were easily fixed.
Diffstat (limited to 'reproduce/software/config/LOCAL.conf.in')
-rw-r--r-- | reproduce/software/config/LOCAL.conf.in | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/reproduce/software/config/LOCAL.conf.in b/reproduce/software/config/LOCAL.conf.in new file mode 100644 index 0000000..0579218 --- /dev/null +++ b/reproduce/software/config/LOCAL.conf.in @@ -0,0 +1,17 @@ +# Local project configuration. +# +# This is just a template for the `./project configure' script to fill +# in. Please don't make any change to this file. +# +# Copyright (C) 2018-2020 Mohammad Akhlaghi <mohammad@akhlaghi.org> +# +# Copying and distribution of this file, with or without modification, are +# permitted in any medium without royalty provided the copyright notice and +# this notice are preserved. This file is offered as-is, without any +# warranty. +BDIR = @bdir@ +INDIR = @indir@ +DEPENDENCIES-DIR = @ddir@ +SYS_CPATH = @sys_cpath@ +DOWNLOADER = @downloader@ +GROUP-NAME = @groupname@ |