Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

'aclocal-1.14' is missing on your system. #2

Closed
numairmansur opened this issue Dec 7, 2019 · 2 comments
Closed

'aclocal-1.14' is missing on your system. #2

numairmansur opened this issue Dec 7, 2019 · 2 comments

Comments

@numairmansur
Copy link

During installation, at make, i get

CDPATH="${ZSH_VERSION+.}:" && cd . && /bin/bash /home/numair/Pictures/cudd/build-aux/missing aclocal-1.14 -I m4
/home/numair/Pictures/cudd/build-aux/missing: line 81: aclocal-1.14: command not found
WARNING: 'aclocal-1.14' is missing on your system.
         You should only need it if you modified 'acinclude.m4' or
         'configure.ac' or m4 files included by 'configure.ac'.
         The 'aclocal' program is part of the GNU Automake package:
         <http://www.gnu.org/software/automake>
         It also requires GNU Autoconf, GNU m4 and Perl in order to run:
         <http://www.gnu.org/software/autoconf>
         <http://www.gnu.org/software/m4/>
         <http://www.perl.org/>
Makefile:983: recipe for target 'aclocal.m4' failed
make: *** [aclocal.m4] Error 127

$ aclocal --version

aclocal (GNU automake) 1.15
Copyright (C) 2014 Free Software Foundation, Inc.
License GPLv2+: GNU GPL version 2 or later <http://gnu.org/licenses/gpl-2.0.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.

Written by Tom Tromey <tromey@redhat.com>
       and Alexandre Duret-Lutz <adl@gnu.org>.

@Terminus-IMRC
Copy link

Run autoreconf and again ./configure.

@numairmansur
Copy link
Author

Thanks :)

RyanGlScott added a commit to GaloisInc/what4-solvers that referenced this issue Jan 14, 2022
I'm not sure why this problem only started appearing recently, but the advice
in ivmai/cudd#2 seems pretty reliable nonetheless.
RyanGlScott added a commit to GaloisInc/what4-solvers that referenced this issue Jan 14, 2022
I'm not sure why this problem only started appearing recently, but the advice
in ivmai/cudd#2 seems pretty reliable nonetheless.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants