nixpkgs/pkgs/by-name/ai/aiger/fix-missing-header.patch
aleksana 571c71e6f7 treewide: migrate packages to pkgs/by-name, take 1
We are migrating packages that meet below requirements:

1. using `callPackage`
2. called path is a directory
3. overriding set is empty (`{ }`)
4. not containing path expressions other than relative path (to
makenixpkgs-vet happy)
5. not referenced by nix files outside of the directory, other
than`pkgs/top-level/all-packages.nix`
6. not referencing nix files outside of the directory
7. not referencing `default.nix` (since it's changed to `package.nix`)
8. `outPath` doesn't change after migration

The tool is here: https://github.com/Aleksanaa/by-name-migrate.
2024-11-09 20:04:51 +08:00

12 lines
360 B
Diff

diff -ur a/aigunconstraint.c b/aigunconstraint.c
--- a/aigunconstraint.c 2013-10-06 09:08:03.000000000 -0400
+++ b/aigunconstraint.c 2023-10-27 08:55:01.678566389 -0400
@@ -26,6 +26,7 @@
#include <stdarg.h>
#include <stdlib.h>
#include <string.h>
+#include <unistd.h>
static const char * USAGE =
"usage: aigunconstraint [-h][-v] [<input> [<output>]]\n"