vera++ on AUR (Arch User Repository)
Last updated: November 22,2024
1. Install "vera++" effortlessly via AUR with the help of a helper(YAY)
a. Install YAY (https://github.com/Jguer/yay)
$
sudo pacman -S --needed git base-devel && git clone https://aur.archlinux.org/yay.git && cd yay && makepkg -si
Copied
b. Install vera++ on Arch using YAY
$
yay -S
vera++
Copied
* (Optional) Uninstall vera++ on Arch using YAY
$
yay -Rns
vera++
Copied
2. Manually Install "vera++" via AUR
a. Ensure you have the base development tools and git installed with:
$
sudo pacman -S --needed
base-devel git
Copied
b. Clone vera++'s git locally
$
git clone https://aur.archlinux.org/vera++.git
~/vera++
Copied
c. Go to ~/vera++ folder and install it
$
cd
~/vera++
Copied
$
makepkg -si
Copied
3. Information about the vera++ package on Arch User Repository (AUR)
ID: 415455
Name: vera++
PackageBaseID: 43573
PackageBase: vera++
Version: 1.3.0-2
Description: A programmable tool for verification, analysis and transformation of C++ source code
URL: https://bitbucket.org/verateam/vera
NumVotes: 4
Popularity: 0
OutOfDate:
Maintainer: markand
Submitter: hatred
FirstSubmitted: 1289719216
LastModified: 1496167759
URLPath: /cgit/aur.git/snapshot/vera++.tar.gz
Name: vera++
PackageBaseID: 43573
PackageBase: vera++
Version: 1.3.0-2
Description: A programmable tool for verification, analysis and transformation of C++ source code
URL: https://bitbucket.org/verateam/vera
NumVotes: 4
Popularity: 0
OutOfDate:
Maintainer: markand
Submitter: hatred
FirstSubmitted: 1289719216
LastModified: 1496167759
URLPath: /cgit/aur.git/snapshot/vera++.tar.gz