buildifier BUILD & WORKSPACE

Signed-off-by: Matt Liberty <[email protected]>

Author: maliberty

BUILD

@@ -15,6 +15,9 @@
 # ABC: System for Sequential Synthesis and Verification by Berkeley Logic
 # Synthesis and Verification Group.
 
+load("@rules_cc//cc:cc_binary.bzl", "cc_binary")
+load("@rules_cc//cc:cc_library.bzl", "cc_library")
+
 licenses(["notice"])
 
 exports_files(["LICENSE"])
@@ -38,8 +41,8 @@ cc_binary(
         "ABC_NAMESPACE=abc",
     ],
     includes = ["src/"],
-    deps = [":abc-lib"],
     visibility = ["//visibility:public"],
+    deps = [":abc-lib"],
 )
 
 cc_binary(
@@ -53,8 +56,8 @@ cc_binary(
         "ABC_NAMESPACE=abc",
     ],
     includes = ["src/"],
-    deps = [":abc-lib"],
     visibility = ["//visibility:public"],
+    deps = [":abc-lib"],
 )
 
 cc_library(
@@ -1236,7 +1239,10 @@ cc_library(
         "ABC_NAMESPACE=abc",
     ],
     includes = ["src/"],
-    linkopts = ["-ldl", "-lpthread"],
+    linkopts = [
+        "-ldl",
+        "-lpthread",
+    ],
     linkstatic = True,
     textual_hdrs = glob(
         [
@@ -1245,10 +1251,10 @@ cc_library(
             "src/aig/saig/saigUnfold2.c",
         ],
     ),
+    visibility = ["//visibility:public"],
     deps = [
         "@org_gnu_readline//:readline",
         "@net_zlib//:zlib",
         # FIXME: This needs bz2lib?
     ],
-    visibility = ["//visibility:public"],
 )

WORKSPACE

@@ -23,5 +23,7 @@ load("@rules_hdl//dependency_support/net_zlib:net_zlib.bzl", "net_zlib")
 load("@rules_hdl//dependency_support/org_gnu_readline:org_gnu_readline.bzl", "org_gnu_readline")
 
 net_invisible_island_ncurses()
+
 net_zlib()
+
 org_gnu_readline()