Description: permit use of LIBS as a command-line variable
 .
 cbmc (5.12-1) unstable; urgency=low
 .
   * New upstream release
   * Updated Standards version to 4.5.0.1 (no changes required)
   * Acknowledge NMU - thanks Adrian for the build fix (Closes: #952256)
Author: Michael Tautschnig <mt@debian.org>
Bug-Debian: https://bugs.debian.org/952256

---
The information above should follow the Patch Tagging Guidelines, please
checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
are templates for supplementary fields that you might want to add:

Origin: <vendor|upstream|other>, <url of original patch>
Bug: <url in upstream bugtracker>
Bug-Debian: https://bugs.debian.org/<bugnumber>
Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
Forwarded: <no|not-needed|url proving that it has been forwarded>
Reviewed-By: <name and email of someone who approved the patch>
Last-Update: 2020-04-23

--- cbmc-5.12.orig/src/memory-analyzer/Makefile
+++ cbmc-5.12/src/memory-analyzer/Makefile
@@ -7,7 +7,7 @@ SRC = \
 
 INCLUDES= -I ..
 
-LIBS = \
+OBJ += \
   ../ansi-c/ansi-c$(LIBEXT) \
   ../goto-programs/goto-programs$(LIBEXT) \
   ../linking/linking$(LIBEXT) \
