You are not logged in.

Pages: 1 2

#1 2018-03-12 17:08:47

promach
Member
Registered: 2016-05-18
Posts: 96

Request for PKGBUILD support of SymbiYosys

As mentioned in http://symbiyosys.readthedocs.io/en/lat … installing , I need to install multiple sub-packages with each of them having different installation commands.


build-essential clang bison flex libreadline-dev \
                     gawk tcl-dev libffi-dev git mercurial graphviz   \
                     xdot pkg-config python python3 libftdi-dev gperf \
                     libboost-program-options-dev autoconf libgmp-dev \
                     cmake

yosys, SymbiYosys, yices2, Z3, super_prove, Avy, and boolector


Could anyone guide me here in building a PKGBUILD for Symbiyosys ?

I hope I could modify from https://bbs.archlinux.org/viewtopic.php … 2#p1772942. Is it possible or should I start from scratch ?

Last edited by promach (2018-03-12 17:09:56)

Offline

#2 2018-03-12 17:58:02

progandy
Member
Registered: 2012-05-17
Posts: 5,190

Re: Request for PKGBUILD support of SymbiYosys

You need a PKGBUILD for each package. You will have to find the corresponding arch linux package for all the prerequisites and then add them to depends or makedepends as needed.
Most of the work is already done, you can even find z3 in [community]. For yosys, yices, z3, and boolector you can find git packages or older versions in the AUR which you can use as a basis. I suggest you start with these.

Edit: This is useful information when you try to create a package:
https://wiki.archlinux.org/index.php/Creating_packages
https://wiki.archlinux.org/index.php/PKGBUILD

Last edited by progandy (2018-03-12 18:00:29)

| alias CUTF='LANG=en_XX.UTF-8@POSIX ' |

Offline

#3 2018-03-15 00:10:20

promach
Member
Registered: 2016-05-18
Posts: 96

Re: Request for PKGBUILD support of SymbiYosys

I am creating a PKGBUILD file for avy.

https://bitbucket.org/arieg/extavy/src

git submodule init

git submodule update

What should I do if I have multiple git submodules (abc, glucose and minisat) ?  https://wiki.archlinux.org/index.php/VC … Submodules

# Maintainer: promach
_gitname=extavy
pkgname=${_gitname}-git
pkgver=                  
pkgrel=1
pkgdesc="Avy logic verifier"
arch=('x86_64')
url="https://bitbucket.org/arieg/extavy.git"
license=('GPL')
depends=()
makedepends=()
source=("git+https://bitbucket.org/arieg/extavy.git",
        "git+https://bitbucket.org/arieg/abc-ufo.git",
        "git+https://bitbucket.org/arieg/avy.git", 
        "git+https://bitbucket.org/arieg/glucose.git", 
        "git+https://bitbucket.org/arieg/minisat.git")

md5sums=('SKIP')

pkgver() {
   cd "$_gitname"
   git describe --long | sed 's/\([^-]*-g\)/r\1/;s/-/./g'
}


prepare() {
  cd something
  git submodule init
  git config https://bitbucket.org/arieg/abc-ufo.git $srcdir/abc-info
  git config https://bitbucket.org/arieg/avy.git $srcdir/avy
  git config https://bitbucket.org/arieg/glucose.git $srcdir/glucose
  git config https://bitbucket.org/arieg/minisat.git $srcdir/minisat
  git submodule update
}

build() {
   cd "$_gitname"
   mkdir -p build
   cd build
   cmake -DCMAKE_BUILD_TYPE=Release ..
   make -j$(nproc)
   cp avy/src/{avy,avybmc} /usr/local/bin/
}

package() {
   cd "${_gitname}/build"
   make DESTDIR="$pkgdir" install
}

Last edited by promach (2018-03-15 01:18:06)

Offline

#4 2018-03-15 03:28:59

eschwartz
Fellow
Registered: 2014-08-08
Posts: 4,097

Re: Request for PKGBUILD support of SymbiYosys

Look at the .gitmodules file. https://bitbucket.org/arieg/extavy/src/ … ew-default
tongue

[submodule "abc"]
	path = abc
	url = https://bitbucket.org/arieg/abc-ufo.git
[submodule "minisat"]
	path = minisat
	url = https://bitbucket.org/arieg/minisat.git
[submodule "glucose"]
	path = glucose
	url = https://bitbucket.org/arieg/glucose.git
[submodule "avy"]
	path = avy
	url = https://bitbucket.org/arieg/avy.git

So you will want:

git config submodule.abc.url "$srcdir"/abc-info
git config submodule.minisat.url "$srcdir"/minisat
git config submodule.glucose.url "$srcdir"/glucose
git config submodule.avy.url "$srcdir"/avy

BTW in build() you cannot copy files to /usr/local
Also do not use make -j$(nproc) as that is meant to be a user preference set in makepkg.conf as MAKEFLAGS="-j$(nproc)"
Also see https://lists.archlinux.org/pipermail/a … 29181.html regarding the use of -DCMAKE_BUILD_TYPE=Release

Managing AUR repos The Right Way -- aurpublish (now a standalone tool)

Offline

#5 2018-03-15 14:56:37

promach
Member
Registered: 2016-05-18
Posts: 96

Re: Request for PKGBUILD support of SymbiYosys

I have modified the PKGBUILD for avy according to your suggestions.

What about pkgver, depends, and makedepends ?

# Maintainer: promach
_gitname=extavy
pkgname=${_gitname}-git
pkgver=
pkgrel=1
pkgdesc="Avy logic verifier"
arch=('x86_64')
url="https://bitbucket.org/arieg/extavy.git"
license=('GPL')
depends=()
makedepends=()
source=("git+https://bitbucket.org/arieg/extavy.git",
 	"git+https://bitbucket.org/arieg/abc-ufo.git",
	"git+https://bitbucket.org/arieg/avy.git",
	"git+https://bitbucket.org/arieg/glucose.git",
	"git+https://bitbucket.org/arieg/minisat.git")

md5sums=('SKIP')

pkgver() {
   cd "$_gitname"
   git describe --long | sed 's/\([^-]*-g\)/r\1/;s/-/./g'
}


prepare() {
  cd "$_gitname"
  git submodule init
  git config submodule.abc.url "$srcdir"/abc-info
  git config submodule.minisat.url "$srcdir"/minisat
  git config submodule.glucose.url "$srcdir"/glucose
  git config submodule.avy.url "$srcdir"/avy
  git submodule update
}

build() {
   cd "$_gitname"
   mkdir -p build
   cd build
   cmake ..
   make
}

package() {
   cd "${_gitname}/build"
   make DESTDIR="$pkgdir" install
   cp avy/src/{avy,avybmc} /usr/local/bin/
}

Last edited by promach (2018-03-15 14:59:06)

Offline

#6 2018-03-15 15:06:26

eschwartz
Fellow
Registered: 2014-08-08
Posts: 4,097

Re: Request for PKGBUILD support of SymbiYosys

When I said you are trying to copy files to /usr/local in build() and you cannot do that, I did not mean you were using the wrong  function to do that in -- I meant you should not be and are not allowed to copy files there at all, ever. Why do you think you are using a PKGBUILD in the first place? Copy it to "$pkgdir"/usr/bin the same way you use make DESTDIR="$pkgdir" install

For that matter, does the Makefile not already do this?

As for depends and makedepends, how should I know? You're the one who is using the software and presumably has looked at the upstream source code, why don't *you* tell *me* what software this depends on. smile

(You clearly have not tried using this PKGBUILD yet, you need to have a pkgver and the single md5sums SKIP does not match the five urls in source.)

Managing AUR repos The Right Way -- aurpublish (now a standalone tool)

Offline

#7 2018-03-15 15:28:01

promach
Member
Registered: 2016-05-18
Posts: 96

Re: Request for PKGBUILD support of SymbiYosys

ok, let me build the PKGBUILD for SymbiYosys because it is more relevant to me as of now. I will build and test the rest of the PKGBUILDs afterwards.

git describe --long | sed 's/\([^-]*-g\)/r\1/;s/-/./g'    returns  "fatal: No names found, cannot describe anything."  for https://github.com/cliffordwolf/SymbiYosys

# Maintainer: promach
_gitname=SymbiYosys
pkgname=${_gitname}-git
pkgver=VERSION
pkgrel=1
pkgdesc="SymbiYosys (sby) is a front-end driver program for Yosys-based formal hardware verification flows"
arch=('x86_64')
url="https://github.com/cliffordwolf/SymbiYosys.git"
license=('GPL')
depends=('yosys')
makedepends=()
source=('git+https://github.com/cliffordwolf/SymbiYosys.git')
md5sums=('SKIP')

pkgver() {
   cd "$_gitname"
   git describe --long | sed 's/\([^-]*-g\)/r\1/;s/-/./g'
}

package() {
   cd "${_gitname}"
   make DESTDIR="$pkgdir" install
}

Offline

#8 2018-03-15 15:31:23

Slithery
Administrator
From: Norfolk, UK
Registered: 2013-12-01
Posts: 5,776

Re: Request for PKGBUILD support of SymbiYosys

That pkgver command is meant for repos that have tagged commits, which this one doesn't.

https://wiki.archlinux.org/index.php/VC … elines#Git

No, it didn't "fix" anything. It just shifted the brokeness one space to the right. - jasonwryan
Closing -- for deletion; Banning -- for muppetry. - jasonwryan

aur - dotfiles

Offline

#9 2018-03-15 15:32:14

Scimmia
Fellow
Registered: 2012-09-01
Posts: 11,544

Re: Request for PKGBUILD support of SymbiYosys

Don't just copy and paste, understand what things are doing before you use them.

Offline

#10 2018-03-15 15:33:29

eschwartz
Fellow
Registered: 2014-08-08
Posts: 4,097

Re: Request for PKGBUILD support of SymbiYosys

1) pkgname is supposed to be all lowercase letters, even if the upstream name is capitalized.

2) Apparently this software has never had a tagged release, so you will have to use the fourth example at https://wiki.archlinux.org/index.php/VC … elines#Git (The one for getting the revision count and SHA1, e.g. r1142.a17a017)

Managing AUR repos The Right Way -- aurpublish (now a standalone tool)

Offline

#11 2018-03-15 15:36:35

progandy
Member
Registered: 2012-05-17
Posts: 5,190

Re: Request for PKGBUILD support of SymbiYosys

And you have to install into /usr, not /usr/local.

make PREFIX=/usr DESTDIR="$pkgdir" install

| alias CUTF='LANG=en_XX.UTF-8@POSIX ' |

Offline

#12 2018-03-15 16:08:57

promach
Member
Registered: 2016-05-18
Posts: 96

Re: Request for PKGBUILD support of SymbiYosys

The following PKGBUILD for SymbiYosys works for me in building a package that I could install

# Maintainer: promach
_gitname=SymbiYosys
pkgname=${_gitname}-git
pkgver=r101.c003a1b
pkgrel=1
pkgdesc="SymbiYosys (sby) is a front-end driver program for Yosys-based formal hardware verification flows"
arch=('x86_64')
url="https://github.com/cliffordwolf/SymbiYosys.git"
license=('GPL')
depends=('yosys')
makedepends=()
source=('git+https://github.com/cliffordwolf/SymbiYosys.git')
md5sums=('SKIP')

pkgver() {
  cd "${_gitname}"
  printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
}

package() {
   cd "${_gitname}"
   make PREFIX=/usr DESTDIR="$pkgdir" install
}

Offline

#13 2018-03-15 16:23:01

Slithery
Administrator
From: Norfolk, UK
Registered: 2013-12-01
Posts: 5,776

Re: Request for PKGBUILD support of SymbiYosys

You still need to put $pkgname in lower case. Also $pkgdesc shouln't contain the name of the software.

This is all covered on the PKGBUILD wiki page.

No, it didn't "fix" anything. It just shifted the brokeness one space to the right. - jasonwryan
Closing -- for deletion; Banning -- for muppetry. - jasonwryan

aur - dotfiles

Offline

#14 2018-03-15 21:48:13

loqs
Member
Registered: 2014-03-06
Posts: 17,327

Re: Request for PKGBUILD support of SymbiYosys

license=('GPL')

https://github.com/YosysHQ/SymbiYosys/b … core.py#L6 looks to me to be the ISC licence
Edit:
or was the license conversion from ISC to GPL intentional?  https://www.gnu.org/licenses/license-list.en.html#ISC

Last edited by loqs (2018-03-15 22:07:27)

Offline

#15 2018-03-16 00:35:25

promach
Member
Registered: 2016-05-18
Posts: 96

Re: Request for PKGBUILD support of SymbiYosys

For the fourth example in https://wiki.archlinux.org/index.php/VC … elines#Git , what would be the difference between "$(git rev-list --count HEAD)"  and   "$(git rev-parse --short HEAD)" ?

I have looked into the man pages for both git-rev-list  and git-rev-parse  , yet I am still confused.  Could anyone elaborate on the differences ?

Offline

#16 2018-03-16 00:53:45

loqs
Member
Registered: 2014-03-06
Posts: 17,327

Re: Request for PKGBUILD support of SymbiYosys

promach wrote:

what would be the difference between "$(git rev-list --count HEAD)"  and   "$(git rev-parse --short HEAD)" ?

Did you not try out the commands to compare their outputs?

promach wrote:

I have looked into the man pages for both git-rev-list  and git-rev-parse  , yet I am still confused.

When you read the man pages you did not find the following entries? What similarities did you find between the two commands?

`man git-rev-list`

--count
           Print a number stating how many commits would have been listed, and
           suppress all other output. When used together with --left-right,
           instead print the counts for left and right commits, separated by a
           tab. When used together with --cherry-mark, omit patch equivalent
           commits from these counts and print the count for equivalent
           commits separated by a tab.

`man git-rev-parse`

--verify
           Verify that exactly one parameter is provided, and that it can be
           turned into a raw 20-byte SHA-1 that can be used to access the
           object database. If so, emit it to the standard output; otherwise,
           error out.

           If you want to make sure that the output actually names an object
           in your object database and/or can be used as a specific type of
           object you require, you can add the ^{type} peeling operator to the
           parameter. For example, git rev-parse "$VAR^{commit}" will make
           sure $VAR names an existing object that is a commit-ish (i.e. a
           commit, or an annotated tag that points at a commit). To make sure
           that $VAR names an existing object of any type, git rev-parse
           "$VAR^{object}" can be used.
....
       --short[=length]
           Same as --verify but shortens the object name to a unique prefix
           with at least length characters. The minimum length is 4, the
           default is the effective value of the core.abbrev configuration
           variable (see git-config(1)).

The default if not set for core.abbrev is I believe 7,  the kernel uses 12 whatever value is uses git will ensure that it is unique expanding the length as needed.

Offline

#17 2018-06-16 03:10:48

promach
Member
Registered: 2016-05-18
Posts: 96

Re: Request for PKGBUILD support of SymbiYosys

Why do I have the following error for this PKGBUILD ?

[phung@archlinux verification_example]$ cd ~/Downloads/avy/
[phung@archlinux avy]$ ls
PKGBUILD  src
[phung@archlinux avy]$ makepkg -s
==> ERROR: pkgver is not allowed to be empty.
[phung@archlinux avy]$ makepkg -s
==> Making package: avy-git VERSION-1 (Sat 16 Jun 2018 11:03:02 AM +08)
==> Checking runtime dependencies...
==> Checking buildtime dependencies...
==> Retrieving sources...
  -> Cloning extavy git repo...
Cloning into bare repository '/home/phung/Downloads/avy/extavy'...
remote: Not Found
fatal: repository 'https://bitbucket.org/arieg/extavy.git,/' not found
==> ERROR: Failure while downloading extavy git repo
    Aborting...
[phung@archlinux avy]$ 
# Maintainer: promach
_gitname=avy
pkgname=${_gitname}-git
pkgver=VERSION
pkgrel=1
pkgdesc="Avy logic verifier"
arch=('x86_64')
url="https://bitbucket.org/arieg/extavy.git"
license=('GPL')
depends=()
makedepends=()
source=("git+https://bitbucket.org/arieg/extavy.git",
 	"git+https://bitbucket.org/arieg/abc-ufo.git",
	"git+https://bitbucket.org/arieg/avy.git",
	"git+https://bitbucket.org/arieg/glucose.git",
	"git+https://bitbucket.org/arieg/minisat.git")

md5sums=('SKIP','SKIP','SKIP','SKIP','SKIP')

pkgver() {
  cd "${_gitname}"
  printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
}


prepare() {
  cd "$_gitname"
  git submodule init
  git config submodule.abc.url "$srcdir"/abc-info
  git config submodule.minisat.url "$srcdir"/minisat
  git config submodule.glucose.url "$srcdir"/glucose
  git config submodule.avy.url "$srcdir"/avy
  git submodule update
}

build() {
   cd "$_gitname"
   mkdir -p build
   cd build
   cmake ..
   make
}

package() {
   cd "${_gitname}/build"
   make DESTDIR="$pkgdir" install
   git config submodule.abc.url "$srcdir"/abc-info
   cp avy/src/{avy,avybmc} "$pkgdir"/usr/bin
}

Offline

#18 2018-06-16 03:14:12

promach
Member
Registered: 2016-05-18
Posts: 96

Re: Request for PKGBUILD support of SymbiYosys

And as for http://symbiyosys.readthedocs.io/en/lat … uper-prove , how should I make PKGBUILD for the following :

#!/bin/bash
tool=super_prove; if [ "$1" != "${1#+}" ]; then tool="${1#+}"; shift; fi
exec /usr/local/super_prove/bin/${tool}.sh "$@"

Besides, can I copy files to the directory "/usr/local/" ?

Offline

#19 2018-06-16 03:49:55

promach
Member
Registered: 2016-05-18
Posts: 96

Re: Request for PKGBUILD support of SymbiYosys

When I updated the PKGBUILD for avy to the following, I have some other cmake error. Why ?

# Maintainer: promach
_gitname=avy
pkgname=${_gitname}-git
pkgver=r252.a9685b8
pkgrel=1
pkgdesc="Avy logic verifier"
arch=('x86_64')
url="https://bitbucket.org/arieg/extavy.git"
license=('GPL')
depends=()
makedepends=()
source=("git+https://bitbucket.org/arieg/extavy.git"
 	"git+https://bitbucket.org/arieg/abc-ufo.git"
	"git+https://bitbucket.org/arieg/avy.git"
	"git+https://bitbucket.org/arieg/glucose.git"
	"git+https://bitbucket.org/arieg/minisat.git");

md5sums=('SKIP' 'SKIP' 'SKIP' 'SKIP' 'SKIP'); declare -p source md5sums

pkgver() {
  cd "${_gitname}"
  printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
}


prepare() {
  cd "$_gitname"
  git submodule init
  git config submodule.abc.url "$srcdir"/abc-info
  git config submodule.minisat.url "$srcdir"/minisat
  git config submodule.glucose.url "$srcdir"/glucose
  git config submodule.avy.url "$srcdir"/avy
  git submodule update
}

build() {
   cd "$_gitname"
   mkdir -p build
   cd build
   cmake ..
   make
}

package() {
   cd "${_gitname}/build"
   make DESTDIR="$pkgdir" install
   git config submodule.abc.url "$srcdir"/abc-info
   cp avy/src/{avy,avybmc} "$pkgdir"/usr/bin
}
[phung@archlinux avy]$ makepkg -s
==> Making package: avy-git VERSION-1 (Sat 16 Jun 2018 11:40:42 AM +08)
==> Checking runtime dependencies...
==> Checking buildtime dependencies...
==> Retrieving sources...
  -> Updating extavy git repo...
Fetching origin
  -> Updating abc-ufo git repo...
Fetching origin
  -> Updating avy git repo...
Fetching origin
  -> Updating glucose git repo...
Fetching origin
  -> Updating minisat git repo...
Fetching origin
==> Validating source files with md5sums...
    extavy ... Skipped
    abc-ufo ... Skipped
    avy ... Skipped
    glucose ... Skipped
    minisat ... Skipped
==> Extracting sources...
  -> Creating working copy of extavy git repo...
Cloning into 'extavy'...
done.
  -> Creating working copy of abc-ufo git repo...
Cloning into 'abc-ufo'...
done.
  -> Creating working copy of avy git repo...
Cloning into 'avy'...
done.
  -> Creating working copy of glucose git repo...
Cloning into 'glucose'...
done.
  -> Creating working copy of minisat git repo...
Cloning into 'minisat'...
done.
==> Starting prepare()...
==> Starting pkgver()...
==> Updated version: avy-git r252.a9685b8-1
==> Starting build()...
-- The C compiler identification is GNU 8.1.1
-- The CXX compiler identification is GNU 8.1.1
-- Check for working C compiler: /usr/bin/cc
-- Check for working C compiler: /usr/bin/cc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Boost version: 1.67.0
-- Found the following Boost libraries:
--   program_options
CMake Error at /usr/share/cmake-3.11/Modules/FindPackageHandleStandardArgs.cmake:137 (message):
  Could NOT find Abc (missing: ABC_LIBRARY ABC_INCLUDE_DIR)
Call Stack (most recent call first):
  /usr/share/cmake-3.11/Modules/FindPackageHandleStandardArgs.cmake:378 (_FPHSA_FAILURE_MESSAGE)
  cmake/FindAbc.cmake:28 (find_package_handle_standard_args)
  CMakeLists.txt:39 (find_package)


-- Configuring incomplete, errors occurred!
See also "/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeOutput.log".
==> ERROR: A failure occurred in build().
    Aborting...
[phung@archlinux avy]$ cat /home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeOutput.log
The system is: Linux - 4.16.13-2-ARCH - x86_64
Compiling the C compiler identification source file "CMakeCCompilerId.c" succeeded.
Compiler: /usr/bin/cc 
Build flags: -march=x86-64;-mtune=generic;-O2;-pipe;-fstack-protector-strong
Id flags:  

The output was:
0


Compilation of the C compiler identification source "CMakeCCompilerId.c" produced "a.out"

The C compiler identification is GNU, found in "/home/phung/Downloads/avy/src/avy/build/CMakeFiles/3.11.3/CompilerIdC/a.out"

Compiling the CXX compiler identification source file "CMakeCXXCompilerId.cpp" succeeded.
Compiler: /usr/bin/c++ 
Build flags: -march=x86-64;-mtune=generic;-O2;-pipe;-fstack-protector-strong
Id flags:  

The output was:
0


Compilation of the CXX compiler identification source "CMakeCXXCompilerId.cpp" produced "a.out"

The CXX compiler identification is GNU, found in "/home/phung/Downloads/avy/src/avy/build/CMakeFiles/3.11.3/CompilerIdCXX/a.out"

Determining if the C compiler works passed with the following output:
Change Dir: /home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp

Run Build Command:"/usr/bin/make" "cmTC_05c30/fast"
/usr/bin/make -f CMakeFiles/cmTC_05c30.dir/build.make CMakeFiles/cmTC_05c30.dir/build
make[1]: Entering directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'
Building C object CMakeFiles/cmTC_05c30.dir/testCCompiler.c.o
/usr/bin/cc   -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong    -o CMakeFiles/cmTC_05c30.dir/testCCompiler.c.o   -c /home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp/testCCompiler.c
Linking C executable cmTC_05c30
/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_05c30.dir/link.txt --verbose=1
/usr/bin/cc -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong   -Wl,-O1,--sort-common,--as-needed,-z,relro  -rdynamic CMakeFiles/cmTC_05c30.dir/testCCompiler.c.o  -o cmTC_05c30 
make[1]: Leaving directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'


Detecting C compiler ABI info compiled with the following output:
Change Dir: /home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp

Run Build Command:"/usr/bin/make" "cmTC_33e79/fast"
/usr/bin/make -f CMakeFiles/cmTC_33e79.dir/build.make CMakeFiles/cmTC_33e79.dir/build
make[1]: Entering directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'
Building C object CMakeFiles/cmTC_33e79.dir/CMakeCCompilerABI.c.o
/usr/bin/cc   -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong    -o CMakeFiles/cmTC_33e79.dir/CMakeCCompilerABI.c.o   -c /usr/share/cmake-3.11/Modules/CMakeCCompilerABI.c
Linking C executable cmTC_33e79
/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_33e79.dir/link.txt --verbose=1
/usr/bin/cc -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong   -Wl,-O1,--sort-common,--as-needed,-z,relro -v -rdynamic CMakeFiles/cmTC_33e79.dir/CMakeCCompilerABI.c.o  -o cmTC_33e79 
Using built-in specs.
COLLECT_GCC=/usr/bin/cc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /build/gcc/src/gcc/configure --prefix=/usr --libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man --infodir=/usr/share/info --with-bugurl=https://bugs.archlinux.org/ --enable-languages=c,c++,ada,fortran,go,lto,objc,obj-c++ --enable-shared --enable-threads=posix --enable-libmpx --with-system-zlib --with-isl --enable-__cxa_atexit --disable-libunwind-exceptions --enable-clocale=gnu --disable-libstdcxx-pch --disable-libssp --enable-gnu-unique-object --enable-linker-build-id --enable-lto --enable-plugin --enable-install-libiberty --with-linker-hash-style=gnu --enable-gnu-indirect-function --enable-multilib --disable-werror --enable-checking=release --enable-default-pie --enable-default-ssp
Thread model: posix
gcc version 8.1.1 20180531 (GCC) 
COMPILER_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/
LIBRARY_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/:/lib/../lib/:/usr/lib/../lib/:/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../:/lib/:/usr/lib/
COLLECT_GCC_OPTIONS='-march=x86-64' '-mtune=generic' '-O2' '-pipe' '-fstack-protector-strong' '-v' '-rdynamic' '-o' 'cmTC_33e79'
 /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/collect2 -plugin /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/liblto_plugin.so -plugin-opt=/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/lto-wrapper -plugin-opt=-fresolution=/tmp/ccfguBze.res -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lgcc_s -plugin-opt=-pass-through=-lc -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lgcc_s --build-id --eh-frame-hdr --hash-style=gnu -m elf_x86_64 -export-dynamic -dynamic-linker /lib64/ld-linux-x86-64.so.2 -pie -o cmTC_33e79 /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/Scrt1.o /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/crti.o /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/crtbeginS.o -L/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1 -L/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib -L/lib/../lib -L/usr/lib/../lib -L/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../.. -O1 --sort-common --as-needed -z relro CMakeFiles/cmTC_33e79.dir/CMakeCCompilerABI.c.o -lgcc --as-needed -lgcc_s --no-as-needed -lc -lgcc --as-needed -lgcc_s --no-as-needed /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/crtendS.o /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/crtn.o
COLLECT_GCC_OPTIONS='-march=x86-64' '-mtune=generic' '-O2' '-pipe' '-fstack-protector-strong' '-v' '-rdynamic' '-o' 'cmTC_33e79'
make[1]: Leaving directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'


Parsed C implicit link information from above output:
  link line regex: [^( *|.*[/\])(ld|CMAKE_LINK_STARTFILE-NOTFOUND|([^/\]+-)?ld|collect2)[^/\]*( |$)]
  ignore line: [Change Dir: /home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp]
  ignore line: []
  ignore line: [Run Build Command:"/usr/bin/make" "cmTC_33e79/fast"]
  ignore line: [/usr/bin/make -f CMakeFiles/cmTC_33e79.dir/build.make CMakeFiles/cmTC_33e79.dir/build]
  ignore line: [make[1]: Entering directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp']
  ignore line: [Building C object CMakeFiles/cmTC_33e79.dir/CMakeCCompilerABI.c.o]
  ignore line: [/usr/bin/cc   -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong    -o CMakeFiles/cmTC_33e79.dir/CMakeCCompilerABI.c.o   -c /usr/share/cmake-3.11/Modules/CMakeCCompilerABI.c]
  ignore line: [Linking C executable cmTC_33e79]
  ignore line: [/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_33e79.dir/link.txt --verbose=1]
  ignore line: [/usr/bin/cc -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong   -Wl,-O1,--sort-common,--as-needed,-z,relro -v -rdynamic CMakeFiles/cmTC_33e79.dir/CMakeCCompilerABI.c.o  -o cmTC_33e79 ]
  ignore line: [Using built-in specs.]
  ignore line: [COLLECT_GCC=/usr/bin/cc]
  ignore line: [COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/lto-wrapper]
  ignore line: [Target: x86_64-pc-linux-gnu]
  ignore line: [Configured with: /build/gcc/src/gcc/configure --prefix=/usr --libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man --infodir=/usr/share/info --with-bugurl=https://bugs.archlinux.org/ --enable-languages=c,c++,ada,fortran,go,lto,objc,obj-c++ --enable-shared --enable-threads=posix --enable-libmpx --with-system-zlib --with-isl --enable-__cxa_atexit --disable-libunwind-exceptions --enable-clocale=gnu --disable-libstdcxx-pch --disable-libssp --enable-gnu-unique-object --enable-linker-build-id --enable-lto --enable-plugin --enable-install-libiberty --with-linker-hash-style=gnu --enable-gnu-indirect-function --enable-multilib --disable-werror --enable-checking=release --enable-default-pie --enable-default-ssp]
  ignore line: [Thread model: posix]
  ignore line: [gcc version 8.1.1 20180531 (GCC) ]
  ignore line: [COMPILER_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/]
  ignore line: [LIBRARY_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/:/lib/../lib/:/usr/lib/../lib/:/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../:/lib/:/usr/lib/]
  ignore line: [COLLECT_GCC_OPTIONS='-march=x86-64' '-mtune=generic' '-O2' '-pipe' '-fstack-protector-strong' '-v' '-rdynamic' '-o' 'cmTC_33e79']
  link line: [ /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/collect2 -plugin /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/liblto_plugin.so -plugin-opt=/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/lto-wrapper -plugin-opt=-fresolution=/tmp/ccfguBze.res -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lgcc_s -plugin-opt=-pass-through=-lc -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lgcc_s --build-id --eh-frame-hdr --hash-style=gnu -m elf_x86_64 -export-dynamic -dynamic-linker /lib64/ld-linux-x86-64.so.2 -pie -o cmTC_33e79 /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/Scrt1.o /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/crti.o /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/crtbeginS.o -L/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1 -L/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib -L/lib/../lib -L/usr/lib/../lib -L/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../.. -O1 --sort-common --as-needed -z relro CMakeFiles/cmTC_33e79.dir/CMakeCCompilerABI.c.o -lgcc --as-needed -lgcc_s --no-as-needed -lc -lgcc --as-needed -lgcc_s --no-as-needed /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/crtendS.o /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/crtn.o]
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/collect2] ==> ignore
    arg [-plugin] ==> ignore
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/liblto_plugin.so] ==> ignore
    arg [-plugin-opt=/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/lto-wrapper] ==> ignore
    arg [-plugin-opt=-fresolution=/tmp/ccfguBze.res] ==> ignore
    arg [-plugin-opt=-pass-through=-lgcc] ==> ignore
    arg [-plugin-opt=-pass-through=-lgcc_s] ==> ignore
    arg [-plugin-opt=-pass-through=-lc] ==> ignore
    arg [-plugin-opt=-pass-through=-lgcc] ==> ignore
    arg [-plugin-opt=-pass-through=-lgcc_s] ==> ignore
    arg [--build-id] ==> ignore
    arg [--eh-frame-hdr] ==> ignore
    arg [--hash-style=gnu] ==> ignore
    arg [-m] ==> ignore
    arg [elf_x86_64] ==> ignore
    arg [-export-dynamic] ==> ignore
    arg [-dynamic-linker] ==> ignore
    arg [/lib64/ld-linux-x86-64.so.2] ==> ignore
    arg [-pie] ==> ignore
    arg [-o] ==> ignore
    arg [cmTC_33e79] ==> ignore
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/Scrt1.o] ==> ignore
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/crti.o] ==> ignore
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/crtbeginS.o] ==> ignore
    arg [-L/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1]
    arg [-L/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib]
    arg [-L/lib/../lib] ==> dir [/lib/../lib]
    arg [-L/usr/lib/../lib] ==> dir [/usr/lib/../lib]
    arg [-L/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../..] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../..]
    arg [-O1] ==> ignore
    arg [--sort-common] ==> ignore
    arg [--as-needed] ==> ignore
    arg [-zrelro] ==> ignore
    arg [CMakeFiles/cmTC_33e79.dir/CMakeCCompilerABI.c.o] ==> ignore
    arg [-lgcc] ==> lib [gcc]
    arg [--as-needed] ==> ignore
    arg [-lgcc_s] ==> lib [gcc_s]
    arg [--no-as-needed] ==> ignore
    arg [-lc] ==> lib [c]
    arg [-lgcc] ==> lib [gcc]
    arg [--as-needed] ==> ignore
    arg [-lgcc_s] ==> lib [gcc_s]
    arg [--no-as-needed] ==> ignore
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/crtendS.o] ==> ignore
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/crtn.o] ==> ignore
  collapse library dir [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1] ==> [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1]
  collapse library dir [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib] ==> [/usr/lib]
  collapse library dir [/lib/../lib] ==> [/lib]
  collapse library dir [/usr/lib/../lib] ==> [/usr/lib]
  collapse library dir [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../..] ==> [/usr/lib]
  implicit libs: [gcc;gcc_s;c;gcc;gcc_s]
  implicit dirs: [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1;/usr/lib;/lib]
  implicit fwks: []




Detecting C [-std=c11] compiler features compiled with the following output:
Change Dir: /home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp

Run Build Command:"/usr/bin/make" "cmTC_a9297/fast"
/usr/bin/make -f CMakeFiles/cmTC_a9297.dir/build.make CMakeFiles/cmTC_a9297.dir/build
make[1]: Entering directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'
Building C object CMakeFiles/cmTC_a9297.dir/feature_tests.c.o
/usr/bin/cc   -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong    -std=c11 -o CMakeFiles/cmTC_a9297.dir/feature_tests.c.o   -c /home/phung/Downloads/avy/src/avy/build/CMakeFiles/feature_tests.c
Linking C executable cmTC_a9297
/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_a9297.dir/link.txt --verbose=1
/usr/bin/cc -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong   -Wl,-O1,--sort-common,--as-needed,-z,relro  -rdynamic CMakeFiles/cmTC_a9297.dir/feature_tests.c.o  -o cmTC_a9297 
make[1]: Leaving directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'


    Feature record: C_FEATURE:1c_function_prototypes
    Feature record: C_FEATURE:1c_restrict
    Feature record: C_FEATURE:1c_static_assert
    Feature record: C_FEATURE:1c_variadic_macros


Detecting C [-std=c99] compiler features compiled with the following output:
Change Dir: /home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp

Run Build Command:"/usr/bin/make" "cmTC_c3be9/fast"
/usr/bin/make -f CMakeFiles/cmTC_c3be9.dir/build.make CMakeFiles/cmTC_c3be9.dir/build
make[1]: Entering directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'
Building C object CMakeFiles/cmTC_c3be9.dir/feature_tests.c.o
/usr/bin/cc   -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong    -std=c99 -o CMakeFiles/cmTC_c3be9.dir/feature_tests.c.o   -c /home/phung/Downloads/avy/src/avy/build/CMakeFiles/feature_tests.c
Linking C executable cmTC_c3be9
/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_c3be9.dir/link.txt --verbose=1
/usr/bin/cc -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong   -Wl,-O1,--sort-common,--as-needed,-z,relro  -rdynamic CMakeFiles/cmTC_c3be9.dir/feature_tests.c.o  -o cmTC_c3be9 
make[1]: Leaving directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'


    Feature record: C_FEATURE:1c_function_prototypes
    Feature record: C_FEATURE:1c_restrict
    Feature record: C_FEATURE:0c_static_assert
    Feature record: C_FEATURE:1c_variadic_macros


Detecting C [-std=c90] compiler features compiled with the following output:
Change Dir: /home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp

Run Build Command:"/usr/bin/make" "cmTC_939df/fast"
/usr/bin/make -f CMakeFiles/cmTC_939df.dir/build.make CMakeFiles/cmTC_939df.dir/build
make[1]: Entering directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'
Building C object CMakeFiles/cmTC_939df.dir/feature_tests.c.o
/usr/bin/cc   -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong    -std=c90 -o CMakeFiles/cmTC_939df.dir/feature_tests.c.o   -c /home/phung/Downloads/avy/src/avy/build/CMakeFiles/feature_tests.c
Linking C executable cmTC_939df
/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_939df.dir/link.txt --verbose=1
/usr/bin/cc -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong   -Wl,-O1,--sort-common,--as-needed,-z,relro  -rdynamic CMakeFiles/cmTC_939df.dir/feature_tests.c.o  -o cmTC_939df 
make[1]: Leaving directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'


    Feature record: C_FEATURE:1c_function_prototypes
    Feature record: C_FEATURE:0c_restrict
    Feature record: C_FEATURE:0c_static_assert
    Feature record: C_FEATURE:0c_variadic_macros
Determining if the CXX compiler works passed with the following output:
Change Dir: /home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp

Run Build Command:"/usr/bin/make" "cmTC_b3c5d/fast"
/usr/bin/make -f CMakeFiles/cmTC_b3c5d.dir/build.make CMakeFiles/cmTC_b3c5d.dir/build
make[1]: Entering directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'
Building CXX object CMakeFiles/cmTC_b3c5d.dir/testCXXCompiler.cxx.o
/usr/bin/c++    -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong    -o CMakeFiles/cmTC_b3c5d.dir/testCXXCompiler.cxx.o -c /home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp/testCXXCompiler.cxx
Linking CXX executable cmTC_b3c5d
/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_b3c5d.dir/link.txt --verbose=1
/usr/bin/c++  -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong   -Wl,-O1,--sort-common,--as-needed,-z,relro  -rdynamic CMakeFiles/cmTC_b3c5d.dir/testCXXCompiler.cxx.o  -o cmTC_b3c5d 
make[1]: Leaving directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'


Detecting CXX compiler ABI info compiled with the following output:
Change Dir: /home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp

Run Build Command:"/usr/bin/make" "cmTC_2e633/fast"
/usr/bin/make -f CMakeFiles/cmTC_2e633.dir/build.make CMakeFiles/cmTC_2e633.dir/build
make[1]: Entering directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'
Building CXX object CMakeFiles/cmTC_2e633.dir/CMakeCXXCompilerABI.cpp.o
/usr/bin/c++    -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong    -o CMakeFiles/cmTC_2e633.dir/CMakeCXXCompilerABI.cpp.o -c /usr/share/cmake-3.11/Modules/CMakeCXXCompilerABI.cpp
Linking CXX executable cmTC_2e633
/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_2e633.dir/link.txt --verbose=1
/usr/bin/c++  -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong   -Wl,-O1,--sort-common,--as-needed,-z,relro -v -rdynamic CMakeFiles/cmTC_2e633.dir/CMakeCXXCompilerABI.cpp.o  -o cmTC_2e633 
Using built-in specs.
COLLECT_GCC=/usr/bin/c++
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /build/gcc/src/gcc/configure --prefix=/usr --libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man --infodir=/usr/share/info --with-bugurl=https://bugs.archlinux.org/ --enable-languages=c,c++,ada,fortran,go,lto,objc,obj-c++ --enable-shared --enable-threads=posix --enable-libmpx --with-system-zlib --with-isl --enable-__cxa_atexit --disable-libunwind-exceptions --enable-clocale=gnu --disable-libstdcxx-pch --disable-libssp --enable-gnu-unique-object --enable-linker-build-id --enable-lto --enable-plugin --enable-install-libiberty --with-linker-hash-style=gnu --enable-gnu-indirect-function --enable-multilib --disable-werror --enable-checking=release --enable-default-pie --enable-default-ssp
Thread model: posix
gcc version 8.1.1 20180531 (GCC) 
COMPILER_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/
LIBRARY_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/:/lib/../lib/:/usr/lib/../lib/:/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../:/lib/:/usr/lib/
COLLECT_GCC_OPTIONS='-march=x86-64' '-mtune=generic' '-O2' '-pipe' '-fstack-protector-strong' '-v' '-rdynamic' '-o' 'cmTC_2e633' '-shared-libgcc'
 /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/collect2 -plugin /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/liblto_plugin.so -plugin-opt=/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/lto-wrapper -plugin-opt=-fresolution=/tmp/ccmkZgsI.res -plugin-opt=-pass-through=-lgcc_s -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lc -plugin-opt=-pass-through=-lgcc_s -plugin-opt=-pass-through=-lgcc --build-id --eh-frame-hdr --hash-style=gnu -m elf_x86_64 -export-dynamic -dynamic-linker /lib64/ld-linux-x86-64.so.2 -pie -o cmTC_2e633 /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/Scrt1.o /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/crti.o /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/crtbeginS.o -L/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1 -L/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib -L/lib/../lib -L/usr/lib/../lib -L/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../.. -O1 --sort-common --as-needed -z relro CMakeFiles/cmTC_2e633.dir/CMakeCXXCompilerABI.cpp.o -lstdc++ -lm -lgcc_s -lgcc -lc -lgcc_s -lgcc /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/crtendS.o /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/crtn.o
COLLECT_GCC_OPTIONS='-march=x86-64' '-mtune=generic' '-O2' '-pipe' '-fstack-protector-strong' '-v' '-rdynamic' '-o' 'cmTC_2e633' '-shared-libgcc'
make[1]: Leaving directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'


Parsed CXX implicit link information from above output:
  link line regex: [^( *|.*[/\])(ld|CMAKE_LINK_STARTFILE-NOTFOUND|([^/\]+-)?ld|collect2)[^/\]*( |$)]
  ignore line: [Change Dir: /home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp]
  ignore line: []
  ignore line: [Run Build Command:"/usr/bin/make" "cmTC_2e633/fast"]
  ignore line: [/usr/bin/make -f CMakeFiles/cmTC_2e633.dir/build.make CMakeFiles/cmTC_2e633.dir/build]
  ignore line: [make[1]: Entering directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp']
  ignore line: [Building CXX object CMakeFiles/cmTC_2e633.dir/CMakeCXXCompilerABI.cpp.o]
  ignore line: [/usr/bin/c++    -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong    -o CMakeFiles/cmTC_2e633.dir/CMakeCXXCompilerABI.cpp.o -c /usr/share/cmake-3.11/Modules/CMakeCXXCompilerABI.cpp]
  ignore line: [Linking CXX executable cmTC_2e633]
  ignore line: [/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_2e633.dir/link.txt --verbose=1]
  ignore line: [/usr/bin/c++  -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong   -Wl,-O1,--sort-common,--as-needed,-z,relro -v -rdynamic CMakeFiles/cmTC_2e633.dir/CMakeCXXCompilerABI.cpp.o  -o cmTC_2e633 ]
  ignore line: [Using built-in specs.]
  ignore line: [COLLECT_GCC=/usr/bin/c++]
  ignore line: [COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/lto-wrapper]
  ignore line: [Target: x86_64-pc-linux-gnu]
  ignore line: [Configured with: /build/gcc/src/gcc/configure --prefix=/usr --libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man --infodir=/usr/share/info --with-bugurl=https://bugs.archlinux.org/ --enable-languages=c,c++,ada,fortran,go,lto,objc,obj-c++ --enable-shared --enable-threads=posix --enable-libmpx --with-system-zlib --with-isl --enable-__cxa_atexit --disable-libunwind-exceptions --enable-clocale=gnu --disable-libstdcxx-pch --disable-libssp --enable-gnu-unique-object --enable-linker-build-id --enable-lto --enable-plugin --enable-install-libiberty --with-linker-hash-style=gnu --enable-gnu-indirect-function --enable-multilib --disable-werror --enable-checking=release --enable-default-pie --enable-default-ssp]
  ignore line: [Thread model: posix]
  ignore line: [gcc version 8.1.1 20180531 (GCC) ]
  ignore line: [COMPILER_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/]
  ignore line: [LIBRARY_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/:/lib/../lib/:/usr/lib/../lib/:/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../:/lib/:/usr/lib/]
  ignore line: [COLLECT_GCC_OPTIONS='-march=x86-64' '-mtune=generic' '-O2' '-pipe' '-fstack-protector-strong' '-v' '-rdynamic' '-o' 'cmTC_2e633' '-shared-libgcc']
  link line: [ /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/collect2 -plugin /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/liblto_plugin.so -plugin-opt=/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/lto-wrapper -plugin-opt=-fresolution=/tmp/ccmkZgsI.res -plugin-opt=-pass-through=-lgcc_s -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lc -plugin-opt=-pass-through=-lgcc_s -plugin-opt=-pass-through=-lgcc --build-id --eh-frame-hdr --hash-style=gnu -m elf_x86_64 -export-dynamic -dynamic-linker /lib64/ld-linux-x86-64.so.2 -pie -o cmTC_2e633 /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/Scrt1.o /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/crti.o /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/crtbeginS.o -L/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1 -L/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib -L/lib/../lib -L/usr/lib/../lib -L/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../.. -O1 --sort-common --as-needed -z relro CMakeFiles/cmTC_2e633.dir/CMakeCXXCompilerABI.cpp.o -lstdc++ -lm -lgcc_s -lgcc -lc -lgcc_s -lgcc /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/crtendS.o /usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/crtn.o]
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/collect2] ==> ignore
    arg [-plugin] ==> ignore
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/liblto_plugin.so] ==> ignore
    arg [-plugin-opt=/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/lto-wrapper] ==> ignore
    arg [-plugin-opt=-fresolution=/tmp/ccmkZgsI.res] ==> ignore
    arg [-plugin-opt=-pass-through=-lgcc_s] ==> ignore
    arg [-plugin-opt=-pass-through=-lgcc] ==> ignore
    arg [-plugin-opt=-pass-through=-lc] ==> ignore
    arg [-plugin-opt=-pass-through=-lgcc_s] ==> ignore
    arg [-plugin-opt=-pass-through=-lgcc] ==> ignore
    arg [--build-id] ==> ignore
    arg [--eh-frame-hdr] ==> ignore
    arg [--hash-style=gnu] ==> ignore
    arg [-m] ==> ignore
    arg [elf_x86_64] ==> ignore
    arg [-export-dynamic] ==> ignore
    arg [-dynamic-linker] ==> ignore
    arg [/lib64/ld-linux-x86-64.so.2] ==> ignore
    arg [-pie] ==> ignore
    arg [-o] ==> ignore
    arg [cmTC_2e633] ==> ignore
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/Scrt1.o] ==> ignore
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/crti.o] ==> ignore
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/crtbeginS.o] ==> ignore
    arg [-L/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1]
    arg [-L/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib]
    arg [-L/lib/../lib] ==> dir [/lib/../lib]
    arg [-L/usr/lib/../lib] ==> dir [/usr/lib/../lib]
    arg [-L/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../..] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../..]
    arg [-O1] ==> ignore
    arg [--sort-common] ==> ignore
    arg [--as-needed] ==> ignore
    arg [-zrelro] ==> ignore
    arg [CMakeFiles/cmTC_2e633.dir/CMakeCXXCompilerABI.cpp.o] ==> ignore
    arg [-lstdc++] ==> lib [stdc++]
    arg [-lm] ==> lib [m]
    arg [-lgcc_s] ==> lib [gcc_s]
    arg [-lgcc] ==> lib [gcc]
    arg [-lc] ==> lib [c]
    arg [-lgcc_s] ==> lib [gcc_s]
    arg [-lgcc] ==> lib [gcc]
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/crtendS.o] ==> ignore
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib/crtn.o] ==> ignore
  collapse library dir [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1] ==> [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1]
  collapse library dir [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../../../lib] ==> [/usr/lib]
  collapse library dir [/lib/../lib] ==> [/lib]
  collapse library dir [/usr/lib/../lib] ==> [/usr/lib]
  collapse library dir [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1/../../..] ==> [/usr/lib]
  implicit libs: [stdc++;m;gcc_s;gcc;c;gcc_s;gcc]
  implicit dirs: [/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.1;/usr/lib;/lib]
  implicit fwks: []




Detecting CXX [-std=c++1z] compiler features compiled with the following output:
Change Dir: /home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp

Run Build Command:"/usr/bin/make" "cmTC_4b816/fast"
/usr/bin/make -f CMakeFiles/cmTC_4b816.dir/build.make CMakeFiles/cmTC_4b816.dir/build
make[1]: Entering directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'
Building CXX object CMakeFiles/cmTC_4b816.dir/feature_tests.cxx.o
/usr/bin/c++    -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong    -std=c++1z -o CMakeFiles/cmTC_4b816.dir/feature_tests.cxx.o -c /home/phung/Downloads/avy/src/avy/build/CMakeFiles/feature_tests.cxx
Linking CXX executable cmTC_4b816
/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_4b816.dir/link.txt --verbose=1
/usr/bin/c++  -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong   -Wl,-O1,--sort-common,--as-needed,-z,relro  -rdynamic CMakeFiles/cmTC_4b816.dir/feature_tests.cxx.o  -o cmTC_4b816 
make[1]: Leaving directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'


    Feature record: CXX_FEATURE:1cxx_aggregate_default_initializers
    Feature record: CXX_FEATURE:1cxx_alias_templates
    Feature record: CXX_FEATURE:1cxx_alignas
    Feature record: CXX_FEATURE:1cxx_alignof
    Feature record: CXX_FEATURE:1cxx_attributes
    Feature record: CXX_FEATURE:1cxx_attribute_deprecated
    Feature record: CXX_FEATURE:1cxx_auto_type
    Feature record: CXX_FEATURE:1cxx_binary_literals
    Feature record: CXX_FEATURE:1cxx_constexpr
    Feature record: CXX_FEATURE:1cxx_contextual_conversions
    Feature record: CXX_FEATURE:1cxx_decltype
    Feature record: CXX_FEATURE:1cxx_decltype_auto
    Feature record: CXX_FEATURE:1cxx_decltype_incomplete_return_types
    Feature record: CXX_FEATURE:1cxx_default_function_template_args
    Feature record: CXX_FEATURE:1cxx_defaulted_functions
    Feature record: CXX_FEATURE:1cxx_defaulted_move_initializers
    Feature record: CXX_FEATURE:1cxx_delegating_constructors
    Feature record: CXX_FEATURE:1cxx_deleted_functions
    Feature record: CXX_FEATURE:1cxx_digit_separators
    Feature record: CXX_FEATURE:1cxx_enum_forward_declarations
    Feature record: CXX_FEATURE:1cxx_explicit_conversions
    Feature record: CXX_FEATURE:1cxx_extended_friend_declarations
    Feature record: CXX_FEATURE:1cxx_extern_templates
    Feature record: CXX_FEATURE:1cxx_final
    Feature record: CXX_FEATURE:1cxx_func_identifier
    Feature record: CXX_FEATURE:1cxx_generalized_initializers
    Feature record: CXX_FEATURE:1cxx_generic_lambdas
    Feature record: CXX_FEATURE:1cxx_inheriting_constructors
    Feature record: CXX_FEATURE:1cxx_inline_namespaces
    Feature record: CXX_FEATURE:1cxx_lambdas
    Feature record: CXX_FEATURE:1cxx_lambda_init_captures
    Feature record: CXX_FEATURE:1cxx_local_type_template_args
    Feature record: CXX_FEATURE:1cxx_long_long_type
    Feature record: CXX_FEATURE:1cxx_noexcept
    Feature record: CXX_FEATURE:1cxx_nonstatic_member_init
    Feature record: CXX_FEATURE:1cxx_nullptr
    Feature record: CXX_FEATURE:1cxx_override
    Feature record: CXX_FEATURE:1cxx_range_for
    Feature record: CXX_FEATURE:1cxx_raw_string_literals
    Feature record: CXX_FEATURE:1cxx_reference_qualified_functions
    Feature record: CXX_FEATURE:1cxx_relaxed_constexpr
    Feature record: CXX_FEATURE:1cxx_return_type_deduction
    Feature record: CXX_FEATURE:1cxx_right_angle_brackets
    Feature record: CXX_FEATURE:1cxx_rvalue_references
    Feature record: CXX_FEATURE:1cxx_sizeof_member
    Feature record: CXX_FEATURE:1cxx_static_assert
    Feature record: CXX_FEATURE:1cxx_strong_enums
    Feature record: CXX_FEATURE:1cxx_template_template_parameters
    Feature record: CXX_FEATURE:1cxx_thread_local
    Feature record: CXX_FEATURE:1cxx_trailing_return_types
    Feature record: CXX_FEATURE:1cxx_unicode_literals
    Feature record: CXX_FEATURE:1cxx_uniform_initialization
    Feature record: CXX_FEATURE:1cxx_unrestricted_unions
    Feature record: CXX_FEATURE:1cxx_user_literals
    Feature record: CXX_FEATURE:1cxx_variable_templates
    Feature record: CXX_FEATURE:1cxx_variadic_macros
    Feature record: CXX_FEATURE:1cxx_variadic_templates


Detecting CXX [-std=c++14] compiler features compiled with the following output:
Change Dir: /home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp

Run Build Command:"/usr/bin/make" "cmTC_21bf5/fast"
/usr/bin/make -f CMakeFiles/cmTC_21bf5.dir/build.make CMakeFiles/cmTC_21bf5.dir/build
make[1]: Entering directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'
Building CXX object CMakeFiles/cmTC_21bf5.dir/feature_tests.cxx.o
/usr/bin/c++    -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong    -std=c++14 -o CMakeFiles/cmTC_21bf5.dir/feature_tests.cxx.o -c /home/phung/Downloads/avy/src/avy/build/CMakeFiles/feature_tests.cxx
Linking CXX executable cmTC_21bf5
/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_21bf5.dir/link.txt --verbose=1
/usr/bin/c++  -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong   -Wl,-O1,--sort-common,--as-needed,-z,relro  -rdynamic CMakeFiles/cmTC_21bf5.dir/feature_tests.cxx.o  -o cmTC_21bf5 
make[1]: Leaving directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'


    Feature record: CXX_FEATURE:1cxx_aggregate_default_initializers
    Feature record: CXX_FEATURE:1cxx_alias_templates
    Feature record: CXX_FEATURE:1cxx_alignas
    Feature record: CXX_FEATURE:1cxx_alignof
    Feature record: CXX_FEATURE:1cxx_attributes
    Feature record: CXX_FEATURE:1cxx_attribute_deprecated
    Feature record: CXX_FEATURE:1cxx_auto_type
    Feature record: CXX_FEATURE:1cxx_binary_literals
    Feature record: CXX_FEATURE:1cxx_constexpr
    Feature record: CXX_FEATURE:1cxx_contextual_conversions
    Feature record: CXX_FEATURE:1cxx_decltype
    Feature record: CXX_FEATURE:1cxx_decltype_auto
    Feature record: CXX_FEATURE:1cxx_decltype_incomplete_return_types
    Feature record: CXX_FEATURE:1cxx_default_function_template_args
    Feature record: CXX_FEATURE:1cxx_defaulted_functions
    Feature record: CXX_FEATURE:1cxx_defaulted_move_initializers
    Feature record: CXX_FEATURE:1cxx_delegating_constructors
    Feature record: CXX_FEATURE:1cxx_deleted_functions
    Feature record: CXX_FEATURE:1cxx_digit_separators
    Feature record: CXX_FEATURE:1cxx_enum_forward_declarations
    Feature record: CXX_FEATURE:1cxx_explicit_conversions
    Feature record: CXX_FEATURE:1cxx_extended_friend_declarations
    Feature record: CXX_FEATURE:1cxx_extern_templates
    Feature record: CXX_FEATURE:1cxx_final
    Feature record: CXX_FEATURE:1cxx_func_identifier
    Feature record: CXX_FEATURE:1cxx_generalized_initializers
    Feature record: CXX_FEATURE:1cxx_generic_lambdas
    Feature record: CXX_FEATURE:1cxx_inheriting_constructors
    Feature record: CXX_FEATURE:1cxx_inline_namespaces
    Feature record: CXX_FEATURE:1cxx_lambdas
    Feature record: CXX_FEATURE:1cxx_lambda_init_captures
    Feature record: CXX_FEATURE:1cxx_local_type_template_args
    Feature record: CXX_FEATURE:1cxx_long_long_type
    Feature record: CXX_FEATURE:1cxx_noexcept
    Feature record: CXX_FEATURE:1cxx_nonstatic_member_init
    Feature record: CXX_FEATURE:1cxx_nullptr
    Feature record: CXX_FEATURE:1cxx_override
    Feature record: CXX_FEATURE:1cxx_range_for
    Feature record: CXX_FEATURE:1cxx_raw_string_literals
    Feature record: CXX_FEATURE:1cxx_reference_qualified_functions
    Feature record: CXX_FEATURE:1cxx_relaxed_constexpr
    Feature record: CXX_FEATURE:1cxx_return_type_deduction
    Feature record: CXX_FEATURE:1cxx_right_angle_brackets
    Feature record: CXX_FEATURE:1cxx_rvalue_references
    Feature record: CXX_FEATURE:1cxx_sizeof_member
    Feature record: CXX_FEATURE:1cxx_static_assert
    Feature record: CXX_FEATURE:1cxx_strong_enums
    Feature record: CXX_FEATURE:1cxx_template_template_parameters
    Feature record: CXX_FEATURE:1cxx_thread_local
    Feature record: CXX_FEATURE:1cxx_trailing_return_types
    Feature record: CXX_FEATURE:1cxx_unicode_literals
    Feature record: CXX_FEATURE:1cxx_uniform_initialization
    Feature record: CXX_FEATURE:1cxx_unrestricted_unions
    Feature record: CXX_FEATURE:1cxx_user_literals
    Feature record: CXX_FEATURE:1cxx_variable_templates
    Feature record: CXX_FEATURE:1cxx_variadic_macros
    Feature record: CXX_FEATURE:1cxx_variadic_templates


Detecting CXX [-std=c++11] compiler features compiled with the following output:
Change Dir: /home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp

Run Build Command:"/usr/bin/make" "cmTC_8f239/fast"
/usr/bin/make -f CMakeFiles/cmTC_8f239.dir/build.make CMakeFiles/cmTC_8f239.dir/build
make[1]: Entering directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'
Building CXX object CMakeFiles/cmTC_8f239.dir/feature_tests.cxx.o
/usr/bin/c++    -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong    -std=c++11 -o CMakeFiles/cmTC_8f239.dir/feature_tests.cxx.o -c /home/phung/Downloads/avy/src/avy/build/CMakeFiles/feature_tests.cxx
Linking CXX executable cmTC_8f239
/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_8f239.dir/link.txt --verbose=1
/usr/bin/c++  -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong   -Wl,-O1,--sort-common,--as-needed,-z,relro  -rdynamic CMakeFiles/cmTC_8f239.dir/feature_tests.cxx.o  -o cmTC_8f239 
make[1]: Leaving directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'


    Feature record: CXX_FEATURE:0cxx_aggregate_default_initializers
    Feature record: CXX_FEATURE:1cxx_alias_templates
    Feature record: CXX_FEATURE:1cxx_alignas
    Feature record: CXX_FEATURE:1cxx_alignof
    Feature record: CXX_FEATURE:1cxx_attributes
    Feature record: CXX_FEATURE:0cxx_attribute_deprecated
    Feature record: CXX_FEATURE:1cxx_auto_type
    Feature record: CXX_FEATURE:0cxx_binary_literals
    Feature record: CXX_FEATURE:1cxx_constexpr
    Feature record: CXX_FEATURE:0cxx_contextual_conversions
    Feature record: CXX_FEATURE:1cxx_decltype
    Feature record: CXX_FEATURE:0cxx_decltype_auto
    Feature record: CXX_FEATURE:1cxx_decltype_incomplete_return_types
    Feature record: CXX_FEATURE:1cxx_default_function_template_args
    Feature record: CXX_FEATURE:1cxx_defaulted_functions
    Feature record: CXX_FEATURE:1cxx_defaulted_move_initializers
    Feature record: CXX_FEATURE:1cxx_delegating_constructors
    Feature record: CXX_FEATURE:1cxx_deleted_functions
    Feature record: CXX_FEATURE:0cxx_digit_separators
    Feature record: CXX_FEATURE:1cxx_enum_forward_declarations
    Feature record: CXX_FEATURE:1cxx_explicit_conversions
    Feature record: CXX_FEATURE:1cxx_extended_friend_declarations
    Feature record: CXX_FEATURE:1cxx_extern_templates
    Feature record: CXX_FEATURE:1cxx_final
    Feature record: CXX_FEATURE:1cxx_func_identifier
    Feature record: CXX_FEATURE:1cxx_generalized_initializers
    Feature record: CXX_FEATURE:0cxx_generic_lambdas
    Feature record: CXX_FEATURE:1cxx_inheriting_constructors
    Feature record: CXX_FEATURE:1cxx_inline_namespaces
    Feature record: CXX_FEATURE:1cxx_lambdas
    Feature record: CXX_FEATURE:0cxx_lambda_init_captures
    Feature record: CXX_FEATURE:1cxx_local_type_template_args
    Feature record: CXX_FEATURE:1cxx_long_long_type
    Feature record: CXX_FEATURE:1cxx_noexcept
    Feature record: CXX_FEATURE:1cxx_nonstatic_member_init
    Feature record: CXX_FEATURE:1cxx_nullptr
    Feature record: CXX_FEATURE:1cxx_override
    Feature record: CXX_FEATURE:1cxx_range_for
    Feature record: CXX_FEATURE:1cxx_raw_string_literals
    Feature record: CXX_FEATURE:1cxx_reference_qualified_functions
    Feature record: CXX_FEATURE:0cxx_relaxed_constexpr
    Feature record: CXX_FEATURE:0cxx_return_type_deduction
    Feature record: CXX_FEATURE:1cxx_right_angle_brackets
    Feature record: CXX_FEATURE:1cxx_rvalue_references
    Feature record: CXX_FEATURE:1cxx_sizeof_member
    Feature record: CXX_FEATURE:1cxx_static_assert
    Feature record: CXX_FEATURE:1cxx_strong_enums
    Feature record: CXX_FEATURE:1cxx_template_template_parameters
    Feature record: CXX_FEATURE:1cxx_thread_local
    Feature record: CXX_FEATURE:1cxx_trailing_return_types
    Feature record: CXX_FEATURE:1cxx_unicode_literals
    Feature record: CXX_FEATURE:1cxx_uniform_initialization
    Feature record: CXX_FEATURE:1cxx_unrestricted_unions
    Feature record: CXX_FEATURE:1cxx_user_literals
    Feature record: CXX_FEATURE:0cxx_variable_templates
    Feature record: CXX_FEATURE:1cxx_variadic_macros
    Feature record: CXX_FEATURE:1cxx_variadic_templates


Detecting CXX [-std=c++98] compiler features compiled with the following output:
Change Dir: /home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp

Run Build Command:"/usr/bin/make" "cmTC_bbb0f/fast"
/usr/bin/make -f CMakeFiles/cmTC_bbb0f.dir/build.make CMakeFiles/cmTC_bbb0f.dir/build
make[1]: Entering directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'
Building CXX object CMakeFiles/cmTC_bbb0f.dir/feature_tests.cxx.o
/usr/bin/c++    -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong    -std=c++98 -o CMakeFiles/cmTC_bbb0f.dir/feature_tests.cxx.o -c /home/phung/Downloads/avy/src/avy/build/CMakeFiles/feature_tests.cxx
Linking CXX executable cmTC_bbb0f
/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_bbb0f.dir/link.txt --verbose=1
/usr/bin/c++  -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong   -Wl,-O1,--sort-common,--as-needed,-z,relro  -rdynamic CMakeFiles/cmTC_bbb0f.dir/feature_tests.cxx.o  -o cmTC_bbb0f 
make[1]: Leaving directory '/home/phung/Downloads/avy/src/avy/build/CMakeFiles/CMakeTmp'


    Feature record: CXX_FEATURE:0cxx_aggregate_default_initializers
    Feature record: CXX_FEATURE:0cxx_alias_templates
    Feature record: CXX_FEATURE:0cxx_alignas
    Feature record: CXX_FEATURE:0cxx_alignof
    Feature record: CXX_FEATURE:0cxx_attributes
    Feature record: CXX_FEATURE:0cxx_attribute_deprecated
    Feature record: CXX_FEATURE:0cxx_auto_type
    Feature record: CXX_FEATURE:0cxx_binary_literals
    Feature record: CXX_FEATURE:0cxx_constexpr
    Feature record: CXX_FEATURE:0cxx_contextual_conversions
    Feature record: CXX_FEATURE:0cxx_decltype
    Feature record: CXX_FEATURE:0cxx_decltype_auto
    Feature record: CXX_FEATURE:0cxx_decltype_incomplete_return_types
    Feature record: CXX_FEATURE:0cxx_default_function_template_args
    Feature record: CXX_FEATURE:0cxx_defaulted_functions
    Feature record: CXX_FEATURE:0cxx_defaulted_move_initializers
    Feature record: CXX_FEATURE:0cxx_delegating_constructors
    Feature record: CXX_FEATURE:0cxx_deleted_functions
    Feature record: CXX_FEATURE:0cxx_digit_separators
    Feature record: CXX_FEATURE:0cxx_enum_forward_declarations
    Feature record: CXX_FEATURE:0cxx_explicit_conversions
    Feature record: CXX_FEATURE:0cxx_extended_friend_declarations
    Feature record: CXX_FEATURE:0cxx_extern_templates
    Feature record: CXX_FEATURE:0cxx_final
    Feature record: CXX_FEATURE:0cxx_func_identifier
    Feature record: CXX_FEATURE:0cxx_generalized_initializers
    Feature record: CXX_FEATURE:0cxx_generic_lambdas
    Feature record: CXX_FEATURE:0cxx_inheriting_constructors
    Feature record: CXX_FEATURE:0cxx_inline_namespaces
    Feature record: CXX_FEATURE:0cxx_lambdas
    Feature record: CXX_FEATURE:0cxx_lambda_init_captures
    Feature record: CXX_FEATURE:0cxx_local_type_template_args
    Feature record: CXX_FEATURE:0cxx_long_long_type
    Feature record: CXX_FEATURE:0cxx_noexcept
    Feature record: CXX_FEATURE:0cxx_nonstatic_member_init
    Feature record: CXX_FEATURE:0cxx_nullptr
    Feature record: CXX_FEATURE:0cxx_override
    Feature record: CXX_FEATURE:0cxx_range_for
    Feature record: CXX_FEATURE:0cxx_raw_string_literals
    Feature record: CXX_FEATURE:0cxx_reference_qualified_functions
    Feature record: CXX_FEATURE:0cxx_relaxed_constexpr
    Feature record: CXX_FEATURE:0cxx_return_type_deduction
    Feature record: CXX_FEATURE:0cxx_right_angle_brackets
    Feature record: CXX_FEATURE:0cxx_rvalue_references
    Feature record: CXX_FEATURE:0cxx_sizeof_member
    Feature record: CXX_FEATURE:0cxx_static_assert
    Feature record: CXX_FEATURE:0cxx_strong_enums
    Feature record: CXX_FEATURE:1cxx_template_template_parameters
    Feature record: CXX_FEATURE:0cxx_thread_local
    Feature record: CXX_FEATURE:0cxx_trailing_return_types
    Feature record: CXX_FEATURE:0cxx_unicode_literals
    Feature record: CXX_FEATURE:0cxx_uniform_initialization
    Feature record: CXX_FEATURE:0cxx_unrestricted_unions
    Feature record: CXX_FEATURE:0cxx_user_literals
    Feature record: CXX_FEATURE:0cxx_variable_templates
    Feature record: CXX_FEATURE:0cxx_variadic_macros
    Feature record: CXX_FEATURE:0cxx_variadic_templates
[phung@archlinux avy]$

Last edited by promach (2018-06-16 03:55:20)

Offline

#20 2018-06-16 08:07:07

loqs
Member
Registered: 2014-03-06
Posts: 17,327

Re: Request for PKGBUILD support of SymbiYosys

_gitname=avy

should be extavy

  git config submodule.abc.url "$srcdir"/abc-info

abc-ufo not abc-info

depends=()

missing boost

md5sums=('SKIP' 'SKIP' 'SKIP' 'SKIP' 'SKIP'); declare -p source md5sums

why the declare?

makepkg should now fail during compilation

Offline

#21 2018-06-16 08:14:09

promach
Member
Registered: 2016-05-18
Posts: 96

Re: Request for PKGBUILD support of SymbiYosys

/home/phung/Downloads/avy/src/extavy/abc/src/aig/gia/giaIso.c:61:1: error: narrowing conversion of ‘2555079385’ from ‘unsigned int’ to ‘int’ inside { } [-Wnarrowing]

Is this the compilation failure/error that you faced as well ? If yes, I might need to email extavy code author about this particular error.

As for the declare, I was told by someone to do so in #archlinux IRC forum.  Anything wrong with the syntax in my PKGBUILD ?

Offline

#22 2018-06-16 08:38:35

loqs
Member
Registered: 2014-03-06
Posts: 17,327

Re: Request for PKGBUILD support of SymbiYosys

# Maintainer: promach
_gitname=extavy
pkgname=${_gitname}-git
pkgver=r17.c75c833
pkgrel=1
pkgdesc="Avy logic verifier"
arch=('x86_64')
url="https://bitbucket.org/arieg/extavy.git"
license=('GPL')
depends=()
makedepends=('boost')
source=("git+https://bitbucket.org/arieg/extavy.git"
 	"git+https://bitbucket.org/arieg/abc-ufo.git"
	"git+https://bitbucket.org/arieg/avy.git"
	"git+https://bitbucket.org/arieg/glucose.git"
	"git+https://bitbucket.org/arieg/minisat.git");

md5sums=('SKIP' 'SKIP' 'SKIP' 'SKIP' 'SKIP')

pkgver() {
  cd "${_gitname}"
  printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
}


prepare() {
  cd "${_gitname}"
  git submodule init
  git config submodule.abc.url "${srcdir}"/abc-ufo
  git config submodule.minisat.url "${srcdir}"/minisat
  git config submodule.glucose.url "${srcdir}"/glucose
  git config submodule.avy.url "${srcdir}"/avy
  git submodule update
}

build() {
   cd "${_gitname}"
   mkdir -p build
   cd build
   CXXFLAGS+=" -Wno-narrowing"
   cmake \
    -DCMAKE_C_FLAGS:STRING="${CFLAGS}" \
    -DCMAKE_CXX_FLAGS:STRING="${CXXFLAGS}" \
    -DCMAKE_EXE_LINKER_FLAGS:STRING="${LDFLAGS}" \
    -DCMAKE_SHARED_LINKER_FLAGS:STRING="${LDFLAGS}" \
    ..
   make
}

package() {
   cd "${_gitname}/build"
   make DESTDIR="${pkgdir}" install
   git config submodule.abc.url "${srcdir}"/abc-info
   cp avy/src/{avy,avybmc} "${pkgdir}"/usr/bin
}

Nasty workaround for the build error while you contact upstream packing now fails.

Offline

#23 2018-06-16 08:42:23

promach
Member
Registered: 2016-05-18
Posts: 96

Re: Request for PKGBUILD support of SymbiYosys

   CXXFLAGS+=" -Wno-narrowing"
   cmake \
    -DCMAKE_C_FLAGS:STRING="${CFLAGS}" \
    -DCMAKE_CXX_FLAGS:STRING="${CXXFLAGS}" \
    -DCMAKE_EXE_LINKER_FLAGS:STRING="${LDFLAGS}" \
    -DCMAKE_SHARED_LINKER_FLAGS:STRING="${LDFLAGS}" \
    ..

Could you briefly describe the above modification you made ?

Offline

#24 2018-06-16 08:49:00

loqs
Member
Registered: 2014-03-06
Posts: 17,327

Re: Request for PKGBUILD support of SymbiYosys

Makepkg#CFLAGS.2FCXXFLAGS.2FLDFLAGS_in_makepkg.conf_do_not_work_for_CMake_based_packages so the standard flags from makepkg.conf are used.

   CXXFLAGS+=" -Wno-narrowing"

Add " -Wno-narrowing" to the CXXFLAGS disabling the warning/error no-narrowing

Offline

#25 2018-06-16 10:03:58

promach
Member
Registered: 2016-05-18
Posts: 96

Re: Request for PKGBUILD support of SymbiYosys

I will send an email to avy code author later regarding the narrowing issue.

By the way, Can I actually ignore the following warning about "Package contains reference to $srcdir"  ?

==> Tidying install...
  -> Removing libtool files...
  -> Purging unwanted files...
  -> Removing static library files...
  -> Stripping unneeded symbols from binaries and libraries...
  -> Compressing man and info pages...
==> Checking for packaging issues...
==> WARNING: Package contains reference to $srcdir
usr/bin/avybmc
usr/bin/avy
usr/local/lib/libabc.a
usr/local/lib/libglucose.a
usr/local/lib/libminisat.a
usr/local/bin/glucose_core
usr/local/bin/minisat_core
usr/local/bin/minisat
usr/local/bin/glucose
==> Creating package "extavy-git"...
  -> Generating .PKGINFO file...
  -> Generating .BUILDINFO file...
  -> Generating .MTREE file...
  -> Compressing package...
==> Leaving fakeroot environment.
==> Finished making: extavy-git r17.c75c833-1 (Sat 16 Jun 2018 06:00:48 PM +08)
[phung@archlinux avy]$ 
# Maintainer: promach
_gitname=extavy
pkgname=${_gitname}-git
pkgver=r17.c75c833
pkgrel=1
pkgdesc="Avy logic verifier"
arch=('x86_64')
url="https://bitbucket.org/arieg/extavy.git"
license=('GPL')
depends=()
makedepends=('boost')
source=("git+https://bitbucket.org/arieg/extavy.git"
 	"git+https://bitbucket.org/arieg/abc-ufo.git"
	"git+https://bitbucket.org/arieg/avy.git"
	"git+https://bitbucket.org/arieg/glucose.git"
	"git+https://bitbucket.org/arieg/minisat.git");

md5sums=('SKIP' 'SKIP' 'SKIP' 'SKIP' 'SKIP')

pkgver() {
  cd "${_gitname}"
  printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
}

prepare() {
  cd "${_gitname}"
  git submodule init
  git config submodule.abc.url "${srcdir}"/abc-ufo
  git config submodule.minisat.url "${srcdir}"/minisat
  git config submodule.glucose.url "${srcdir}"/glucose
  git config submodule.avy.url "${srcdir}"/avy
  git submodule update
}

build() {
   cd "${_gitname}"
   mkdir -p build
   cd build
   CXXFLAGS+=" -Wno-narrowing"
   cmake \
    -DCMAKE_C_FLAGS:STRING="${CFLAGS}" \
    -DCMAKE_CXX_FLAGS:STRING="${CXXFLAGS}" \
    -DCMAKE_EXE_LINKER_FLAGS:STRING="${LDFLAGS}" \
    -DCMAKE_SHARED_LINKER_FLAGS:STRING="${LDFLAGS}" \
    ..
   make
}

package() {
   cd "${_gitname}/build"
   make DESTDIR="${pkgdir}" install
   git config submodule.abc.url "${srcdir}"/abc-ufo
   mkdir "${pkgdir}"/usr/bin
   cp avy/src/{avy,avybmc} "${pkgdir}"/usr/bin
}

Offline

Pages: 1 2

Board footer

Powered by FluxBB